Олимпиадная геометрия, задача №24: перпендикуляры, описанные окружности, конкурентность

Вот замечательная задача, созданная в рамках конкурса задач на форуме AoPS. Кажется, эта лемма может быть полезна и в других задачах, надеюсь, вам всем понравится! Ссылка ниже. https://artofproblemsolving.com/community/c6t48f6h2131275_2_circumcircles_and_1_line_are_concurrent