if you wanna break free you better listen to me
証明を大体まとめ上げた。 どうにかまとまって良かった。 少なくとも方針は示せそうなので良い。
あとは諸々の質問に答えていかなければ‥‥。
2023-12-08: やることをひとまず終えた
2023-12-07: 証明の方針をまとめた
2023-12-06: 証明を考えていた