Sia $m$ un numero intero $\Z$ maggiore di 1.
Siano $a,b,c$ numeri interi in $\Z$ tali che
$$ ac \equiv bc \ (\text{mod }m) $$
Se il Massimo Comune Divisore tra $c$ ed $m$ è $1$ $MCD(c,m) =1$
Allora la congruenza è riscrivibile in questo modo:
$$ a \equiv b \ (\text{mod } m) $$