Sea A'B'C' el triángulo circunceviano de P. Las perpendiculares por A', B', C' a las rectas AA', BB', CC' cortan a la circunferencia circunscrita en A2, B2, C2. Las rectas AA2, BB2, CC2 concurren en el circuncentro O.