OPM 1994 Problem 2

Consider in a square $[ABCD]$ a point $E$ on the side $AB$ , different from $A$ and $B$ . On the side $BC$ consider the point $F$ such that $\angle AED = \angle DEF$ . Prove that $EF = AE + FC$ .