Sean $BE$ y $CF$ las bisectrices de $\angle B$ y $\angle C$ de un triángulo $ABC$ cuyo incentro es $I$. Suponga que $EF$, extendido, se encuentra con la circunferencia circunscrita de $ABC$ en $M,N$. Demuestre que el circunradio de $MIN$ es el doble que el de $ABC$.