Sean H el ortocentro, O el circuncentro, HaHbHc el antipodal del triángulo circunceviano de H, EaEbEc el triángulo circunceviano de O. Sean Ra, Rb, Rc los circuncentros de OHaEa, OHbEb, OHcEc. Los puntos Ra, Rb, Rc están alineados.