Sea $ABC$ un triángulo isósceles con $\overline{AB}=\overline{AC}$. Sea $D(\neq A, C)$ un punto en el lado $AC$, y el círculo $\Omega$ es tangente a $BD$ en el punto $E$, y $AC$ en el punto $C$. Denotemos por $F(\neq E)$ la intersección de la línea $AE$ y el círculo $\Omega$, y $G(\neq a)$ la intersección de la línea $AC$ y el circuncírculo del triángulo $ABF$. Demuestra que los puntos $D, E, F,$ y $G$ son concíclicos.