Se da el triángulo acutángulo $ABC$ con circunferencia circunscrita $\omega$. Sea $D$ el punto medio de $AC$, $E$ el pie de la altura desde $A$ hasta $BC$, y $F$ el punto de intersección de $AB$ y $DE$. El punto $H$ se encuentra en el arco $BC$ de $\omega$ (el que no contiene a $A$) de tal manera que $\angle BHE=\angle ABC$. Demostrar que $\angle BHF=90^\circ$.