結果 : discrete math proof problem example