行列の分配法則というものがある。
この段階ではＡＢというものは未知のものです。
未知だからこそＡＢとはどういうものなのかを定義したわけです。

では実数の分配法則というものがある。
この段階では(-1)(-1)というものは未知のものです。
未知だからこそ(-1)(-1)とはどういうものなのかを定義したわけです。

と言われたらどう反論しますか？
と言う意味で書いたのです。

行列同士の積が定義で
負同士の積が定理である
のはどうしてなんですか？
と高校生に聞かれたらどう答えるんですか？
と言う意味で書いたのです。