Ma sei compagna di corso di Neptune? :-P
http://www.dimat.unina2.it/mazzocca/...lideLez6&7.pdf
http://it.wikipedia.org/wiki/Aritmetica_modulare
PS: suppongo che con "/" indichi "divide" (solitamente si usa la " | ")
PPS: che è una relazione di equivalenza è direi OVVIO!
A R A perchè 5 | A-A=0 (tutti i numeri dividono lo zero!)
Se A R B allora B R A (perchè la divisione la fai in Z e non in N)
Se A R B e B R C, allora A R C. Questa te la scrivo:
Devo mostrare che 5 | (A-C) sapendo che 5 | (A-B) e 5 | (B-C)
ma A-C = (A-B) + (B-C) e da qui vedi subito che questo funziona...

Rispondi quotando