Sea $ABC$ un triangulo con $\angle ABC>90$ y con circuncirculo $\Gamma$ done $O$ es el centro de $\Gamma$. Sea $D$ el punto de interseccion de $AB$ con la perpendicular a $AC$ en $C$. Sea $\ell$ la linea por $D$ perpendicular a $AO$. Sea $E$ la interseccion de $\ell$ con $AC$, y sea $F$ el punto de interseccion de $\Gamma$ con $\ell$ que se encuentra entre $D$ y $E$. Demuestra que los circuncirculos de $BFE$ y $CFD$ son tangentes en $F$.