设x和y是两个整数，k是一个正整数，若x除以k的余数与y除以k的余数相等，即x mod k = y mod k，称x和y模k同余，记为 x ≡ y (mod k)。设整数集合I上的二元关系R={|x∈I∧y∈I∧x≡ y (mod k)} 。证明R是一个等价关系。