Enunciato

La congruenza modulo $m$ è una relazione di equivalenza su $\Z$

Dimostrazione

todo