>150
x=4かつz=y+1のときにyは有理数でないと示しただけじゃないか。
その他のケースを放ったらかしといて全てOK示せましたなんてのは詐欺

x=4で、成立しないならば、他の有理数でも、成立しません。