设[tex=2.571x1.357]0M+jRRjZTQEbyc2B+Dq3Gg4xXB7/wSm8fAJvF991SDs=[/tex]是一个偶数阶的群，设[tex=2.571x1.357]oLDkPLfYQHr38uM1Pu2pk9st3aSiH6owHOuyH78DuJg=[/tex]是[tex=2.571x1.357]0M+jRRjZTQEbyc2B+Dq3Gg4xXB7/wSm8fAJvF991SDs=[/tex]的一个子群，这里[tex=5.071x1.357]vSRMDNL+tSvahlM3bdvErn2MlHqaZkCfEUCBCPuFBtSXaqz5wI/apBUdATclgPiZ[/tex]，证明[tex=2.571x1.357]oLDkPLfYQHr38uM1Pu2pk9st3aSiH6owHOuyH78DuJg=[/tex]是正规子群。