a=[i] modn b=[i]mod n,则a=k1*n+i b=k2*n+i 其中0<=i
必要性： a=[i] modn b=[i]mod n,则a=k1*n+i b=k2*n+i 其中0<=i充分性： 显然。。
