Si P és un punt i  Ha, Hb, Hc són els ortocentres de PBC, PCA i PAB, les circumferències {AHbHc}, {BHaHc} i {CHaHb}  es tallen en un punt X .