Siguin A'B'C' el triangle circumcevià de P, Xa l'ortocentre d'AB'C', Ya l'ortocentre de A'BC. Definim anàlogament Xb, Yb, Xc, Yc. Les rectes XaYa, XbYb, XcYc són concurrents.