Let I be the incenter, O the circumcenter, EaEbEc the circumcevian triangle of I. Let Oa, Ob, Oc be the circumcenters of OEbEc, OEcEa, OEaEb. The triangles ABC, OaObOc are homothetic, with center collinear with O and I.