Let $ABC$ be a triangle, and let $D$ and $D_1$ be points on segment $BC$ such that $BD = CD_1$. Construct point $E$ such that $EC\perp BC$ and $ED\perp AC$. Similarly, construct point $F$ such that $FB\perp BC$ and $FD\perp AB$. Prove that $EF\perp AD_1$.