L'ultimo teorema di Fermat/Appendice: differenze tra le versioni

::''Dimostrazione'': se ''n'' divide ''(a - b)'' e ''n'' divide ''(a - c)'' allora, per la proprietà distributiva della divisione rispetto alla sottrazione, ''n'' divide anche ''[(a - c) - (a - b)]=[a - c - a + b] = (b - c)''.

 

 

Un'altra importante caratteristica della relazione di congruenza è il fatto di essere preservata dalle usuali operazioni aritmetiche tra interi: