x,y∈Zを任意の整数、mを正の整数とする。x,yをmで割った余りがそれぞれ等しいとき、
「xとyはmを法として合同」であるといい、x≡y(mod m)と書く。
この関数が同値関係であることを証明せよ。また、同値類をすべて求めよ。

(ヒント)x≡y(mod m)⇔y-x=dm,(dは整数)を用いて、この関係が反射的、対称的、推移的であることを示す。