A theorem that describes the solutions of a system of linear congruences with pairwise coprime moduli.