模3同余 是等价关系,求证明