全くやりたくないけど1日坊主はさすがにあれなので…と思ってたら2日ほど寝て過ごしてました。しかも序盤なのに盛大に詰まって…もうだめですね T1.3は体上で生成された環が多項式環となることを言っています…が、証明のほとんどが演習になってますね…。(vi)を…

本日2022/4/17は2022年アドベントカレンダーの-228日目になります（2022/11/30を-1日目とする）。4/20からにするとちょうど225=25*9なのでアドカレ9回分とキリがいいのですが、そうやって延期すると一生やらないことを私はよく知ってるので、正直眠たいです…