m,rを自然数とし、m>rとする。C(r)がmを法とする既約剰余類であるための必要十分条件は
C(r)がZ/(m)の零因子でないことである。

これを示してください。お願いします。