1) A congruência módulo m é uma operação importante na aritmética que fornece o resto de divisões de forma eficaz. 2) Se a b (mod m), então a+c b+c (mod m) e a-c b-c (mod m) para qualquer c entre 0 e m. 3) Os restos das divisões -10+3 143+3 (mod 9) e -7-5 873-5 (mod 4) são iguais a 1 e 3, respectivamente