Linear Congruences and the Chinese Remainder Theorem