Sea $ABC$ un triángulo con circuncentro $O$. Los puntos $D$, $E$ y $F$ están en el interior de los lados $BC$, $CA$ y $AB$, respectivamente, de forma que $DE$ es perpendicular a $CO$ y $DF$ es perpendicular a $BO$. Sea $K$ el circuncentro del triángulo $AFE$. Demostrar que las rectas $DK$ y $BC$ son perpendiculares.