Sean O el circuncentro; Ab, Ac las proyecciones de A sobre OB, OC, y definimos análogamente Bc, Ba, Ca, Cb. Los triángulos AAbAc, BBcBa, CCaCb son congruentes.