等价关系的三个性质的证明