>>343
だから、ということは、その　(1)(2)　を持って

　「-1　倍の　定義」

とすればどうなるのかな、と

というのは、

　「負の数」

というものが、自然数からの拡張として定義された段階で、

　「逆向きの量」

という概念は定義されていたはずだから、「逆向き」概念はもう新たに定義する
必要はないという意見、だからその乗算の意味を定義すれば、それが　(1)(2)
ということで、それが定義になるなら、(3)　は自明、ということで、これは定理となる、

ということでいかがですか？