「x^3+y^3+z^3=w^3は自然数解を持たない。」かどうかを判定するのに、
w=x+rとおいても、判定することはできない。

理由は、元の数が多いからです。