讓我沾沾自喜一下吧，明天可能笑不出來了

寫了一個超低能的 proof，哇哈哈，已很久沒寫過如此有用的 proof 了~~ 無聊的 computation 還在進行中，希望快點有新的東東做。快讓我破解黑盒子吧！繼續舉一反三，我的論文真的不用 10 頁就 "乾塘" 了，寫鬼寫馬！

p.s. 終於確定 "乾塘" 二字的正確寫法。大概我是從中同處學來的，說甚麼 Glycogen (肝糖)，真玩野。