こんばんは。提唱者です。
まず、私に質問する場合には「自分がどういう立場を取っているのか」
を明らかにしてください。
でないと適切なアドバイスができない場合がありますので。
「自分がどういう立場を取っているのか」
とは具体的には
(a)-*-=+は定理である
(b)-*-=+は定義である
(c)-*-=+は定理でも定義でもよい

一体この人はどの立場を取っている人なのかを念頭におきながら出ないと
その人に最適な解説ができませんので。