Sea $ABC$ un triángulo acutángulo con circuncírculo $\omega$ y circuncentro $O$. La perpendicular desde $A$ a $BC$ interseca a $BC$ y $\omega$ en $D$ y $E$, respectivamente. Sea $F$ un punto en el segmento $AE$, tal que $2 \cdot FD = AE$. Sea $l$ la perpendicular a $OF$ a través de $F$. Demuestra que $l$, la tangente a $\omega$ en $E$, y la línea $BC$ son concurrentes.