去反證

我的數學作業最佳化步驟的其中一步是儘可能把反證寫成「正證」XD。

--
對反證有點過敏 XD。