MathNet 2020 — Math Olympiad Vault — Part 02 Question 28

A circle $c$ with center $A$ passes through the vertices $B$ and $E$ of a regular pentagon $ABCDE$. The line $BC$ intersects the circle $c$ the second time at point $F$. Prove that lines $DE$ and $EF$ are perpendicular.