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 reflection of A' in Oa, and analogously B", C". Then AA", BB", CC" concur.