Fie A un inel cu sapte elemente.
Sa se arate ca 1+1+1+1+1+1+1=0. (de 7 ori este 1)
Operatiile inelului sunt formal adunarea si inmultirea.

Uitam din structura de inel multiplicarea, ne legam doar de substructura cu adunarea. (Aplicam functorul "uitare" de la inele la grupuri comutative.)

Atunci ( A, + ) este un grup comutativ cu 7 elemente.
1 este un element in acest grup.

Teorema lui Lagrange afirma ca ordinul lui 1 divide ordinul grupului, 7, deci este 7 sau 1.
Ordinul 1 (pentru elementul 1 din A) este exclus,
deoarece 0 si 1 = 1 adunat cu sine o singura data difera.


Deci 0 = 1 + 1 + ... + 1 unde 1 se aduna cu sine de 7 ori.