Dati tre numeri interi a, b e c, scriviamo  a ≡ b (mod c)  quando esiste un intero k tale che  a−b = kc.
Indica in quale dei seguenti casi è verificata la condizione  x ≡ 7 (mod 6):

A)   x = −7 B)   x = −1 C)   x = 6 D)   x = 1

La differenza tra x e 7 deve essere un multiplo di 6. L'unica possibilità è x = 1:  1 − 7 = −6 = (−1)·6.
Nota: la relazione ≡ è simmetrica:  a ≡ b  se e solo se  b ≡ a.  Quindi potevo equivalentemente verificare che 7 − 1 = 6.
  Per commenti sulla "simmetria": definizioni e dimostrazioni neGli Oggetti Matematici.