Проект делают большие мастера, скорее всего выйдет очень круто. Насколько я понял, в проекте докажут общий случай обратной теоремы Кэзи — который, как мне известно, нигде до этого не был записан

Я сам не очень хорошо знаком с темой и планирую внимательно изучить проект. В общем, всячески рекомендую ознакомиться всем любителям классической планиметрии