何か忘れてると思ったら
>>692の一番下の行忘れてました。
一番下の行の省略部分は
y = ax, z = by より z=abx。
これを満たす自然数はa=b=1以外にないのでz=x
z=xが成り立つということは、xRzも成り立つ。

ってことであってますか？