微妙にありました。

完成するまで、公開しないようにしようと思っています。
全部証明するのは、かなり難しいということが分かりました。