Howes

昨夜床に入って先日来の Corollary のことを考えていたら，
数分で証明がわかってしまった。
実に素直で簡単だった。
それに気がつかなかった私って。
まったく愚かだね。

勢いに乗って，もうひとつの系の証明を考えた。
こちらは結構早くできあがる。
あと二つ証明の書かれていない系があるが，がんばろう。