（中国剩余定理CRT）设m1,m2,...,mk是两两互素的正整数,即gcd(mi,mj)=1,i≠j,i,j=1,2,...,k

　　则同余方程组：

　　x≡b1（modm1）

　　x≡b2（modm2）

　　...

　　x≡bk（modmk)

　　模[m1,m2,...,mk]有唯一解,即在[m1,m2,...,mk]的意义下,存在唯一的x,满足：

　　x≡bimod[m1,m2,...,mk],i=1,2,...,k