Отрезок BD - высота треугольника АВС. От вершины В на прямой СВ по обе стороны от точки В отложены отрезки ВЕ и ВК, равные АВ. На АС от точки D отложен отрезок DF, равный DA. Докажите, что точки А, Е, К и F лежат на одной окружности.