Systems of Congruences