Let I be the incenter, O the circumcenter, EaEbEc the circumcevian triangle of I. Let Ra, Rb, Rc be the circumcenters of OEaA, OEbB, OEcC. The points Ra, Rb, Rc are collinear.