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

Contenuto cancellato Contenuto aggiunto
Ramac (discussione | contributi)
m fix tag center
Gian BOT (discussione | contributi)
m Bot: Correggo errori comuni (tramite La lista degli errori comuni V 1.0)
 
Riga 130:
::<math> a \equiv b \pmod{n} \Rightarrow b \equiv a \pmod{n} \qquad \forall a,b \in \mathbb{N},\forall n \in \mathbb{N}_0 </math>
 
::''Dimostrazione'': se ''n'' divide ''(a - b)'' , allora ''n'' divide anche l'opposto ''(b - a) = - (a - b)''
 
*'''Proprietà transitiva''': se ''a'' è congruo a ''b'' modulo ''n'' e ''b'' è congruo a ''c'' modulo ''n'' allora anche ''a'' è congruo a ''c'' modulo ''n''.