Si P es un punto y  Ha, Hb, Hc son los ortocentros de PBC, PCA y PAB, las circunferencias {AHbHc}, {BHaHc} y {CHaHb}  se cortan en un punto X.