Let A'B'C' be the circumcevian triangle of P, Xa the orthocenter of AB'C', Ya the orthocenter of A'BC. Define analogously Xb, Yb, Xc, Yc. The lines XaYa, XbYb, XcYc concur.