Sea A'B'C' el triángulo círculoceviano de P. Sean Ha, Hb, Hc los ortocentros de los triángulos A'BC, B'CA, C'AB. Entonces las circunferencias {HaBC}, {HbCA}, {HcAB} se cortan en el antigonal P/ de P.