Deux nombres sont congrus si ils ont le même reste à la division euclidienne.

Voici un énoncé plus court de la formule :

  • Si a est congru à b alors est divisible par n (peut être écrit comme , 0 est le maximum donc si quelque chose n’est pas sous cette forme ce ne veut pas dire qu’il n’est pas divisible)
  • Si a est congru à b et est congru à . Alors et sont également congru, ainsi que et .