Let H be the orthocenter, O the circumcenter, HaHbHc the antipodal of the circumcevian triangle of H, EaEbEc the circumcevian triangle of O. Let Ra, Rb, Rc be the circumcenters of OHaEa, OHbEb, OHcEc. The points Ra, Rb, Rc are collinear.