离散数学等价关系怎么证明