Let O be the circumcenter of ABC, Oa, Ob, Oc the circumcenters of OBC, OCA, OAB. The circumcenter O' of OaObOc is the midpoint between O and the circumcenter Ot of the tangential triangle.