Sea Q un punto de intersección de la circunferencia circunscrita y la circunferencia de los nueve puntos, y sea P el anticomplemento de Q. Entonces P pertenece a la circunferencia circunscrita a su triángulo ceviano.