展开 离散数学中如何证明等价关系