神秘！在这些排列生成的置换群\(G\)里，若\(\exists\pi\inG\)使得\(\pi_i=k,\pi_j=l\)，则所有这些\((k,l)\)被同样数量的\(\pi\inG\)通过前述方法得出。证明：设\(\pi(i,j)=(k,l),\pi'(i,j)=(k',l')\)（意义前述），则\(\pi^{-1}\circ\pi'(k,l)=(k',l')