今日はこのくらいにしておくか。 しかし、補題が素直に補題になってないやんか。 いちいち考え直さなければなりません。まぁこのくらいならいいのかな。

木曜日からトライしている補題の証明が補修できました。 言葉足らず、条件足らず、放置プレイなどいろいろ困難もありましたが、 初日→混乱、2日目→試行錯誤&希望が見える、本日→ヒヤヒヤしながらも無事解決 となりました。やり終えてみると、このくらいの穴…