Sean A'B'C' el triángulo circunceviano de P, Xa el ortocentro d'AB'C', Ya el ortocentro de A'BC. Definimos análogamente Xb, Yb, Xc, Yc. Las rectas XaYa, XbYb, XcYc concurren.