展开 证明整数加群是循环群