Sea un triángulo acutángulo $ABC$, tal que $\angle ABC < \angle ACB$. Sea la perpendicular desde $A$ a $BC$ que golpea el circuncírculo de $ABC$ en $D$, y sea $M$ el punto medio de $AD$. La tangente al circuncírculo de $ABC$ en $A$ golpea la bisectriz perpendicular de $AD$ en $E$, y el circuncírculo de $MDE$ golpea el circuncírculo de $ABC$ en $F$. Sea $G$ el pie de la perpendicular desde $A$ a $BD$, y $N$ el punto medio de $AG$. Demuestra que $B, N, F$ son colineales.