On ne peut pas, en général, diviser les deux membres

d'une congruence par un même nombre. D'abord, cette opération

n'a de sens que si les deux membres sont divisibles par le diviseur

en question; ensuite, celte condition étant réalisée, l'opération

n'est permise que si le diviseur est premier avec le module.

En effet, soit

ar^b (mod n), d'où

(3) a — 6 1= o (mod /i).