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