This theorem states that if a system of linear congruences is pairwise coprime, then a unique solution exists.