Linear congruences