Let A'B'C' be the circlecevian triangle of P, and let Oa, Ob, Oc be the circumcenters of PBC, PCA, PAB. Let A" be the intersection between A'Oa and BC, and analogously B", C". Then AA", BB", CC" concur.