Sean I el incentro, A'B'C' su triángulo circunceviano, A", B", C" los antipodales de A', B', C'. Las perpendiculares por A, B, C a las rectas de Euler de los triángulos A'A"I, B'B"I, C'C"I son concurrentes.