设x, y为整数，k是正整数，若x除以k的余数和y除以k的余数相等，即x mod k=y mod k，称x和y模k同余，记为 x≡y (mod k)。求证：R = {< x,y> |x ≡ y (mod k)}是等价关系。