>>565
自然数mとnの差を表す数を[m,n](の同値類)とするのが基本方針。
（商体を作るのと同じだな。)
[m,n]と[a,b]の同値は、m+b=a+nのとき同値、と定義する。
m>nのときm=n+xとして[m,n]は[x,0]と同値
m<nのときn=m+yとして[m,n]は[0,y]と同値
m=nのときは[0,0]
これらの和は　成分ごとの和で定義する。
積は、(m-n)(a-b)=ma+nb-(mb+na)から想像できるとおり
[m,n]*[a,b]=[ma+nb,na+mb]だ。
あとはwell-definedであることを確認しする。
分配則は左辺、右辺を個別に計算して両者が同値であることを示して終わり。
当然ながら自然数で分配則が満たされていることは、これの前段階で示しておく。