執筆業務

とりあえず現時点で打ち込める部分は全部打ち込みました。
追加しようと思っていた「例」も構成しました。
ここまでの内容で結構量が多くなってしまったので
「例」の部分をガリガリ欲を出して計算するのはやめて,
シンプルなものを書いておくだけに留めます。
それよりももう少し主定理に至るまでに議論が必要だから，
明日以降はそこを煮詰めていこうかな。
続きの資料は大学にあるから今日はもうこれ以上は進めません。
まぁ他にやることもあるからそっちをやるか。