Sea P un punto, A', B', C' los ortocentros de PBC, PCA, PAB. Las circunferencias circunscritas a A'BC, AB'C, ABC' concurren en el punto P/ antigonal de P.