Chinese Remainder Theorem

This theorem states that given a set of congruences with pairwise coprime moduli, there exists a unique solution modulo the product of the moduli.