离散数学证明公式整理