Sea O el circuncentro de ABC y Oa, Ob, Oc los circuncentros de OBC, OCA, OAB. Sea O’ el circuncentro de OaObOc. Entonces O’ es el punto medio entre O y el circuncentro Ot del triángulo tangencial.