r〜s⇔r+I=s+Iを定義として
r〜sとr-s∈Iは同値であるを示したいんだろ?