42ページ

42ページ目にして,一応,第3の支柱の最後の補題の文章を書きました。
あとはこれの証明を打ち込んで,
これまで書いてきた補題をまとめれば定理の証明が終わる,
ということを書けば終わりでしょうか。
当初の予定より10ページくらい内容が膨れ上がったかな。
どうだろう。45ページも超えそうな気がする。
よし,今日はここまで。


ちなみに、昨日「出来そう」と言っていたものはやったらやはりできました。
もう第3の支柱として考えることは何もない。ひたすらパソコンのキーボードを叩くだけです。


夢がどんどん形になっていきます。