Sea P un punto de la recta que une el circuncentro O y el incentro I. Sea PaPbPc el triángulo circunceviano de P. Sean Ea, Eb, Ec los excentros. Entonces EaPa, EbPb, EcPc concurren.