＞z=y+1となる自然数解が存在しないだけですね
そしてそれは長々と書くまでもなく当たり前ですね

z=y+1となる有理数解が存在しません。(x=1,y=0以外は)