设Z是整数集合,对于任意2个整数a,b,规定a~b当且仅当3|(a-b)证明~是Z的一个等价关系.