Four points $ A, B, C, D$ are chosen on a circle in such a way that arcs $ AB, BC,$ and $ CD$ are of the same length and the $ arc DA$ is longer than these three. Line $ AD$ and the line tangent to the circle at $ B$ intersect at $ E$. Let $ F$ be the other endpoint of the diameter starting at $ C$ of the circle. Prove that triangle $ DEF$ is equilateral.