把它们加起来就可以了，模m的一组完全剩余系之和，模m与m(m+1)/2同余，两组完全剩余系之和模m与m(m+1)同余，
但当m是偶数时m(m+1)/2≠m(m+1)(mod m)，前者除以m余数是m/2，后者余数是0，所以r₁+r₁', r₂+r₂', …, r_m+r_m' 不可能是模m的一组完全剩余系