NL-NWO 1989 Problem 2

Given is a square $ABCD$ with $E \in BC$ , arbitrarily. On $CD$ lies the point $F$ is such that $\angle EAF = 45^o$ . Prove that $EF$ is tangent to the circle with center $A$ and radius $AB$ .