Sea $ABC$ un triángulo. Se eligen puntos $D, E, F$ sobre $BC, CA, AB$, respectivamente, tales que $B$ equidista de $D$ y $F$, mientras que $C$ equidista de $D$ y $E$. Demostrar que el circuncentro de $AEF$ está sobre la bisectriz del ángulo $\angle EDF$.