最近看到一篇論文有感，連續操作的證明不用硬要拆成 Lemma。證明應該想像成一棵樹， Theorem就像是通向結論的樹幹，而 Lemma 應該是作為樹枝延伸。