Question 7Let $ABCD$ be a square. Point $E$ lies in the interior of the angle $\angle CAB$ such that angle $\angle BAE$ is $15^\circ$, and lines $BE$ and $BD$ are perpendicular. Show that $AE = BD$.