>256
p=3のときx^3+y^3=(x+√3)^3。x^3+y^3=x^3+3x^2√3+9x+3√3、y^3=3x^2√3+9x+3√3。
y=πとおくとxは無理数になると思うよ。

そう思います。