結果 : direct proof examples discrete math