Considerar el cuadrado $ABCD$ y el punto $E$ en el lado $AB$ . La línea $DE$ interseca a la línea $BC$ en el punto $F$ , y la línea $CE$ interseca a la línea $AF$ en el punto $G$ . Demostrar que las líneas $BG$ y $DF$ son perpendiculares.