>>197
定義というのは示したり証明するものではない。