わかった

昨日わからなかったところが無事解決。

あとは1ヶ所、引用文献に引用されている定理番号が存在しない問題を残すのみ。

これはまぁなければないでひとつ定理がなくなるだけなので、

個人的に追わなくてもいいかもしれないなぁ。

とりあえず今日は、このあと雷付きの雨が降るようなので帰ってきました。

日曜も働いてるし、14時30分帰宅もまぁいいだろう。