Si l'équation
admet pour racine un entier négatif — k, cela signifie que le polynôme f(x) est divisible par le binôme (x -f- k), ce qui s'écrit :
f (x) == 0 [niod x 4- k]
En effet, si Ton voulait annuler le module, il faudrait résoudre l'équation du premier degré
x -+- k =:0 on trouverait la racine
qui est aussi racine de l'équation (1), puisqu'alors la congruence devient l'identité
La congruence précédente permet donc d'éviter la racine négative :
