离散数学中如何用吸收律证明幂等律