Arithmétique, congruences