>群環のごく普通の定義から出発すれば、それがみちびかれるから定理だと言っていただけ。

ということは
「<<<群環の分野では>>>-*-＝+は定理である」
というべきであり
「-*-=+は定理である」
というべきではないと考えますがどうでしょうか？

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

これについてはどうお考えでしょうか？