Sea O el circuncentro de ABC. Los circuncentros de ABO, BCO y CAO forman un triángulo OaObOc que es homotético al triángulo órtico HaHbHc con centro de homotecia X(24).