Let A'B'C' the circumcevian triangle of P. The perpendiculars from A', B', C' to the lines AA', BB', CC' cut the circumcircle at A2, B2, C2. The lines AA2, BB2, CC2 concur at the circumcenter O.