Si P es un punto y  Ha, Hb, Hc son los ortocentros de PBC, PCA y PAB, las circunferencias de los nueve puntos de AHbHc, BHaHc y CHaHb  se cortan en un punto de la circunferencia de los nueve puntos de ABC.