Sigui A'B'C' el triangle cerclecevià de P. Siguin Ha, Hb, Hc els ortocentres dels triangles A'BC, B'CA, C'AB. Llavors les circumferències {HaBC}, {HbCA}, {HcAB} es tallen a l'antigonal P/ de P.