結果 : discrete math proof problems