>>162
君がやったのは証明じゃなくて解釈。
あと、ヤムチャ理論じゃなくてヤムチャ解釈。
数行で終わる議論を「理論」とは呼ばない。

＞どうやって−1×−1＝1を証明するんだ？
掛け算の定義に従って計算すればいい。数学では、整数環Zの
掛け算は「分配法則が成り立つように定義されている」ので、

1＝1＋0＝1＋0×(−1)＝1＋{1＋(−1)}×(−1)＝1＋(−1)＋(−1)×(−1)＝(−1)×(−1)

となって、(−1)×(−1)＝1になる。

あとは、分配法則が成り立つように掛け算(足し算も)が定義可能なことを
言えばいい。まず、N×Nの2元(a,b)，(x,y)に次の同値関係〜を定義する。

(a,b)〜(x,y)　⇔　a＋y＝b＋x

これが実際に同値関係であることは容易に確かめられる。
同値類(N×N)/〜の2元[(a,b)]，[(x,y)]に2つの演算＋，×を

[(a,b)]＋[(x,y)]：＝[(a＋x,b＋y)]
[(a,b)]×[(x,y)]：＝[(ax＋by,ay＋bx)]

で定義すると、これらはwell-definedであり、しかも(N×N)/〜は
これら2つの演算でZと同型な環になるので、これで終了。