Let P be a point in the line joining the circumcenter O and the incenter I, PaPbPc its circumcevian triangle, Ea, Eb, Ec the excenters. Then EaPa, EbPb, EcPc concur.