Let $ABCD$ be a square. Points $E$ and $F$ are on its sides $BC$ and $CD$ such that $\angle{EAF}=45^\circ$. If point $G$ is on $EF$ such that $AG\perp EF$, show $AG=AD$.