>>214

zを未定義の式でおいているところですね。
zを好きに置いていいと思っているのなら「z = 0.5とおく。これは自然数ではないので方程式は自然数解を持たない」で証明終わりですね笑