またやっちゃった。どうも思い込みで証明ができたと勘違いしてしまった。すでに大丈夫と思っていた一つのメインの定理の証明が不十分だった。今日類似の定理の証明を考えていて気がついた。
不十分であって，間違いではない。午前中いっぱいを使って十分なところまで証明をつめた。研究室の先輩の結果を使うことになった。ここで関係ができてくるとはちょっと思っていなかったので，意外。
また，これからやろうとしているテーマとも関係が出てきたので，ちょっとモチベーションがあがった。
午後は別の定理の証明を考えていたが，こっちはなかなか。歯ごたえ十分。
