A P pont az ABC hegyesszögű háromszög belsejében fekszik. Az ABC, BCP, CAP és ABP körök középpontjai rendre O, A1, B1, illetve C1. Igazoljuk, hogy