theoremnumber-theory Formal Statement For any two congruences x≡amodn and x≡bmodm, there is a unique congruence x≡cmodnm. Corollaries See Proof of Chinese Remainder Theorem (Group Theory)