若m1,m2,m3两两互质,设m=m1*m2*m3,则同余式组x≡a(mod m1),x≡b(mod m2),x≡c(mod m3)有解, 且若x≡d(mod m),x≡k(mod m)都是同余式组的解,则d≡k(mod m).