(Lemma 2) Let G be a finite Abelian group.

• (引理2) 设G是有限交换群，S(?)