8/1(月) 晴れ 8時に一回目が覚めたけど二度寝して10時過ぎに起きた。昨日駄目だったところを中山の補題を使ってできるかと思ってたら正則環の時しか使えないことやってて駄目だった。それで他のところ見てたけどできると思っていたgenerically finite etale…

7/31(日) 晴れ 8時過ぎに起きた。今日は昨日考えてた証明をPDFに書いてたら一日が終わった。全体を通して問題なく進んでいた。確かめないといけないところは何箇所か出てきたけど意外となんとかなった。ちゃんと一般的な形で書いてみたら条件が多くなってび…