結果 : direct proofs discrete math