Lucram modulo 7 (deci in inelul ZZ modulo 7).
Deci -1, 6, 13, 20, ... , (7n-1) sunt toate egale in acest inel.
(Sau congruente modulo 7, vazute ca elemente din ZZ.)
Desigur, 15 = 1 in (ZZ modulo 7).
Atunci expresia data este imediat stampilata drept congruenta cu
modulo 7 .