假设H包含一个3轮换(i j k),要证明对任意3轮换(a b c)都属于H。考虑元素s=(
i j k l m ……
a b c l m ……)
假设s是偶置换,否则用偶置换s(lm)来代替,所以s∈An,由H的正规性s^-1(ijk)s=(abc)∈H