方程式y^2=x^3+xz^4は0でない整数による解を持たないことを示せ