>>723
あってません。

＞これを満たす自然数はa=b=1以外にないので
x=1,a=2,b=3,z=6とか、いくらでもある。

z=abxから即座にxRzを出せばいい。