A.2 可解群判定定理的证明