Let H be the orthocenter, O the circumcenter, HaHbHc the circumcevian triangle of H. Let Oa, Ob, Oc be the circumcenters of OBC, OCA, OAB. The triangles OaObOc, HaHbHc are homothetic.