Let $ABCD$ be the rectangle. Points $E$, $F$ lies on the sides $BC$ and $CD$ respectively, such that $\sphericalangle EAF = 45^{\circ}$ and $BE = DF$. Prove that area of the triangle $AEF$ is equal to the sum of the areas of the triangles $ABE$ and $ADF$.