Let H be the orthocenter, O the circumcenter, HaHbHc the circumcevian triangle of H. Let Ra, Rb, Rc be the circumcenters of OHaA, OHbB, OHcC. The points Ra, Rb, Rc are collinear.