Олимпиадная задача по планиметрии для 8-9 классов: параллельность прямых в равнобедренном треугольнике

Дан равнобедренный треугольник ABC  (AB = AC).  На меньшей дуге AB описанной около него окружности взята точка D. На продолжении отрезка AD за точку D выбрана точка E так, что точки A и E лежат в одной полуплоскости относительно BC. Описанная окружность треугольника BDE пересекает сторону AB в точке F. Докажите, что прямые EF и BC параллельны.