第一篇 Structured Proof

向人推銷 Lamport 的 structured proof 自己卻不用的話很沒說服力，所以很自然地拿代數導論作業來練習，成果在此。簡單的一題就已經寫了 3/4 頁（在代數導論作業專用格式下），看來目標先設定成一次作業寫一題就好 XD。

--
今日飲食：… 欸，已經結束了啦 XD。