負の数×負の数

>>585
>体の定義から-*-＝+が導ける

のであれば
-*-＝+から体の定義が導ける
のではないですか？
体の定義から必要十分条件で演繹したんでしょ？
なら逆にたどることも出来るじゃないですか？
これについては自信があります。
何故なら必要十分条件で出発点（定義）からゴール（定理）まで辿ったのであれば
ゴール（定理）から出発点（定義）に辿ることも可能だからです。