Sigui P un punt, A', B', C' els ortocentres de PBC, PCA, PAB. Les circumferències dels nou punts de ABC, A'BC, AB'C, ABC', AB'C', A'BC', A'B'C són concurrents al centre de la hipèrbola equilàtera circumscrita que passa per P.