Si A', B' i C' són els simètrics d'A, B i C respecte un punt P, llavors les circumferències {A'BC}, {AB'C}, {ABC'} es tallen en l'antigonal X de l'anticomplement Y de P.