Sean P un punto; A', B', C' los circuncentros de PBC, PCA, PAB. Las circunferencias {AB'C'}, {BC'A'}, {CA'B'}, {ABC} tienen en común un punto X que es el antipodal de Z, isogonal del punto del infinito de la recta PP*, siendo P* el isogonal de P.