KöMaL 2025 B5463

The square $ABCD$ of positive orientation is given. Construct an equilateral triangle $BEF$ of positive orientation such that its vertex $F$ is on ray $BC$ and $\angle EAF=45^\circ$.