(a) (-1)(-1)=1は定理である
(b) 代数のある一分野では(-1)(-1)=1は定理である

どうしてこの2つから選ばないのでしょうか？
定理だ定理だと騒いでいたのが、実は、あるたった一つの分野で、定理であるに過ぎなかった
と認めたくないということなのでしょうか？
だとしても、数学をやっている人間である以上選ばなければなりません。
数学をやっている人間は真実を追究している人間のはずです。
だとするなら、認めたくない事実でも真実である以上(b)を選んでください。
もし(b)でないというのなら、
このスレッドのタイトルである「定理なのか？定義なのか？」の質問に
あなたなりの答えを書かなければなりません。