>440
>でも、p が奇素数の場合は非存在証明なので

どうして非存在証明となるのでしょうか?
x,y,zは、有理数か無理数のどちらかです。
有理数zはありませんが、無理数zは、あります。