Let $ABC$ be a triangle, and let $E$ and $F$ be two arbitrary points on the sides $AB$ and $AC$, respectively. The circumcircle of triangle $AEF$ meets the circumcircle of triangle $ABC$ again at point $M$. Let $D$ be the reflection of point $M$ across the line $EF$ and let $O$ be the circumcenter of triangle $ABC$. Prove that $D$ is on $BC$ if and only if $O$ belongs to the circumcircle of triangle $AEF$.