Sea $ABC$ un triángulo acutángulo con $AB<AC$ y sea $O$ su circuncentro. Sea $D$ un punto en el segmento $AC$ tal que $AB=AD$ . Sea $E$ la intersección de la línea $AB$ con la línea perpendicular a $AO$ que pasa por $D$ . Sea $F$ la intersección de la línea perpendicular a $OC$ que pasa por $C$ con la línea paralela a $AC$ y que pasa por $E$ . Finalmente, sean las líneas $CE$ y $DF$ que se intersecan en $G$ . Demostrar que $AG$ y $BF$ son paralelas.