MathNet 2015-part-05 — 191 problems (EN–VI) Question 173

Given a square $ABCD$ and points $E$ and $F$ outside the square such that the triangles $BEC$ and $CFD$ are equilateral. Prove that the triangle $AEF$ is also equilateral.