Sean O el circuncentro de ABC y Oa, Ob, Oc los circuncentros de OBC, OCA, OAB. Las circunferencias {OaBC}, {ObCA}, {OcAB} se cortan en el inverso del punto X(265) en la circunferencia circunscrita.