展开 证明整数集对于普通加法构成了群