Sea $ABC$ un triángulo con $AB < AC$ , incentro $I$ y excentro opuesto a $A$ , $I_{A}$ . La circunferencia inscrita corta a $BC$ en $D$ . Defina $E = AD\cap BI_{A}$ , $F = AD\cap CI_{A}$ . Demuestre que las circunferencias circunscritas de $\triangle AID$ y $\triangle I_{A}EF$ son tangentes entre sí