Si P és un punt i  Ha, Hb, Hc són els ortocentres de PBC, PCA i PAB, les circumferències dels nou punts de AHbHc, BHaHc i CHaHb  es tallen en un punt de la circumferència dels nou punts de ABC.