Aritmetica modulare/La relazione di congruenza: differenze tra le versioni

È di facile verifica che la relazione <math>\equiv_n</math> così definita è una particolare relazione di equivalenza:

*è riflessiva:

*è simmetrica:

se ''a'' - ''b'' = ''kn'', allora ''b'' - ''a'' = -(''a'' - ''b'')=-''kn''=(-''k'')''n'', e -''k'' è ancora un intero;