Пусть — окружность, описанная около треугольника , а точка — ее центр. Окружность с центром пересекает отрезок в точках и так, что точки , , и все различны и лежат на прямой в указанном порядке. Пусть и — точки пересечения окружностей и , при этом точки , , , и лежат на в указанном порядке. Пусть — вторая точка пересечения окружности, описанной около треугольника и отрезка . Пусть — вторая точка пересечения окружности, описанной около треугольника , и отрезка . Пусть прямые и различны и пересекаются в точке . Докажите, что точка лежит на прямой .