展开 证明整数加法群z的子群一定是某个nz