Let A'B'C' be the circumcevian triangle of a point P. Let ra be the line joining the centers of {PBC'} and {PB'C}, and define analogously rb, rc. The lines ra, rb, rc concur at the midpoint betwen P and the circumcenter O.