Question 7Let $O$ be the circumcenter of acute triangle $ABC$, and let the line $AO$ meet $BC$ at $D$. Choose points $E$ on $AB$ and $F$ on $AC$ such that $ED=BD$ and $DF=CD$. Prove that $EF\parallel BC$.