Sigui O el circumcentre d’ABC i Oa, Ob, Oc els circumcentres de OBC, OCA, OAB. Sigui O’ el circumcentre de OaObOc. Llavors O’ és el punt mitjà entre O i el circumcentre Ot del triangle tangencial.