N为7
例如,从60n+1(n=0,1,2...33)中任取7个数
若任意4个数的算术平均数均为整数,则表示所有数除以4同余;
若任意(n-1)个数的算术平均数均为整数,则表示所有数对 1到(n-1)的最小公倍数同余;
可以证明的