a+b是m的整数倍整数集合Z有且只有一个划分，即模的剩余类