結果 : discrete math proofs examples