Sea $ABC$ un triángulo acutángulo y $D \in (BC) , E \in (AD)$ puntos móviles. El circuncírculo del triángulo $CDE$ se encuentra con la mediana desde $C$ del triángulo $ABC$ en $F$. Demuestra que el circuncentro del triángulo $AEF$ está en una línea fija.