Betrachten wir S3:
S3 = {(1 2 3), (1 2 3), (1 2 3), (1 2 3), (1 2 3), (1 2 3)}
(1 2 3) (1 3 2) (2 1 3) (2 3 1) (3 1 2) (3 2 1)
A3 = {(1 2 3), (1 2 3), (1 2 3)}
(1 2 3) (2 3 1) (3 1 2)
S3/A3 = {(1 2 3), (1 2 3), (1 2 3)}
(1 3 2) (2 1 3) (3 2 1)
Hier ist ganz offensichtlich x3 = x für alle x ∈ S3/A3. Wie kann man dies für alle Sn/An zeigen?