Sean H' el ortocentro del triángulo incéntrico A'B'C', O el circuncentro de ABC. Las rectas simétricas de OH' respecto de los lados de A'B'C' concurren en un punto de la circunferencia de los nueve puntos.