>>690
定義どおりにやるだけ．xRy <=> y = ax なる a ∈ N存在，だから
-x = 1 x なので xRx
-xRy かつ yRx なら y = ax, x = by あとは略
-xRy かつ yRz なら y = ax, z = by あとは略