Sean P un punto, A'B'C' su triángulo circunceviano, A", B", C" los antipodales de A', B', C'. Las perpendiculares a A'A", B'B", C'C" trazadas por los simedianos Ka, Kb, Kc de los triángulos A'A"P, B'B"P, C'C"P son concurrentes.