Sigui P un punt, A', B', C' els ortocentres de PBC, PCA, PAB. Les circumferències circumscrites a A'BC, AB'C, ABC' són concurrents al punt P/ antigonal de P.