Sia $a$ un numero intero in $\Z$ allora esiste ed è unico un resto $r$ intero in $\Z$ tale da rendere vera la seguente congrunza
$$ a \equiv r \ (\text{mod } m) $$
todo