4. As shown in Figure 2, in square $A B C D$, $E$ is the midpoint of $C D$, $E F \perp A E$, intersecting $B C$ at point $F$. Then the size relationship between $\angle 1$ and $\angle 2$ is ( ).
(A) $\angle 1>\angle 2$
(B) $\angle 1<\angle 2$
(C) $\angle 1=\angle 2$
(D) Cannot be determined
4.C.

From the given conditions, it can be proven that $\triangle A D E$, $\triangle E C F$, and $\triangle A E F$ are pairwise similar, so, $\angle 1=\angle 2$.