Dado el cuadrado $ABCD$ . El punto $E$ se encuentra en la diagonal $AC$ , donde $AE> EC$ . En el lado $AB$ , se ha seleccionado un punto diferente de $B$ para el cual $EF = DE$ . Demuestra que $\angle DEF = 90^o$ .