La circumferència ortobaricèntrica és ortogonal a la circumferència de Lester