結果 : proof examples discrete math