ということはあなたは

(a)-*-=+は定理である
(b)-*-=+は定義である
(c)-*-=+は定理でも定義でもよい

のＣを選んだと言うことになりますけどよろしいでしょうか？