（中国剩余定理CRT）设m1,m2,...,mk是两两互素的正整数,即gcd(mi, mj) =1, i≠j, i,j = 1,2,...,k 则同余方程组： x≡b1 mod m1 x≡b2 mod m2 ... x≡bk mod mk 模[m1,m2,...,mk]有唯一解,即在[m1,m2,.....