Sea $ABC$ un triángulo con $AB<BC<CA$ y sea $D$ un punto variable en $BC$. El punto $E$ en la circunferencia circunscrita de $ABC$ es tal que $\angle BAD=\angle BED$. La línea que pasa por $D$ perpendicular a $AB$ se encuentra con $AC$ en $F$. Demuestra que la medida de $\angle BEF$ es constante a medida que $D$ varía.