ということはマイナスかけるマイナス=プラスというのは
定理なのではなく定義だということなのでしょうか?