>>127
すでに存在する定義について、別個の定義を与えようとするなら、
「証明」してみないと必要十分かどうかわからない。
「定義」するだけじゃなんにもならないよ。