>>77
> 定義を書く事を考えていたから、証明の部分をかなり省略しているからね。

逆だろ