修正

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

…って、まだ補題の証明が終わったところじゃないか。