Sean P un punto, P* su isogonal, Q el inverso de P*. Sean Oa, Ob, Oc los circuncentros de PBC, PCA, PAB. El punto Q es inverso de P en la circunferencia {OaObOc}.