Журнал
Можно не записывать решения задач!
В доказательстве леммы Харуки полезно описать окружность вокруг треугольника EPD. Пусть G — точка пересечения этой окружности и прямой AB.