I'm stuck with this problem: prove that for all $n_1,n_2 \in \Bbb N^*$ and for all $r_1,r_2 \ \in \Bbb Z$,
$|[r_1] \mod n_1| = |[r_2] \mod n_2|$.
My thoughts: I must find a bijective function $f: \{a \in \Bbb Z : a \cong r_1\mod n_1 \} \to \{b \in \Bbb Z : b \cong r_2\mod n_2 \} $.
I don't know where to begin.
Thanks.
What is a typical element of $[r_1]$ modulo $n_1$ ? You have a bijection with $\mathbb{Z}$. The same holds for $[r_2]$. Can you conclude ?