Mathématiques, informatique, politique et poésie
Deux entiers \(a\) et \(b\) sont dits congrus modulo \(n\) si \(a
-b\) est divisible par \(n\). On note \(a \equiv b [n]\). C'est une relation d'équivalence.Par exemple, tout entier est congru modulo \(n\) avec le reste de la division euclidienne par \(n\).