As shown, $D$ is the midpoint of $BC$. Point $E$ is on $AD$ such that $BE=AF$. Show that $AF=EF$.