离散数学中证明定理的常用方法