Sean P un punto, r una recta que pase por P. Sea A’ la segunda intersección de r con la circunferencia {PBC} y definimos análogamente B’, C’. Sean A”, B”, C” los antipodales de A’, B’, C’ en {PBC}, {PCA}, {PAB}. Los puntos A”, B”, C” están alineados en la perpendicular a r por P.