Условие:
Дано: остроугольный треугольник ABC. Точка H — ортоцентр треугольника ABC. Окружность, описанная около треугольника ABC, пересекает прямые BH и CH вторично (кроме точки B и C) в точках E и F соответственно.
Доказать: что точки E,F,H,A лежат на одной окружности.

