a≡b(mod.m),a≡b(mod.n)で
LCM[m,n]=cとすると、a≡b(mod.c)となり、
とくにGCD[m,n]=1ならa≡b(mod.m,n)となり、
一般にm1,m2,･･･mnに対して、a≡b(mod.mi)(i=1,2･･･n)ならa≡b(mod.c)となる。
ただし、c=LCM[m1･･･mn]とくにmiの２つずつが互いに素ならばa≡b(mod.m1･･･mn)となることを示せ。