問題
k を代数的閉体（別に複素数体でよい）とし，
f(x)，g(x)，h(x) ∈ k[x] とする．
n≧3 のとき，{f(x)}^n + {g(x)}^n = {h(x)}^n を満たすものは，
次の自明な解に限る．
f(x) = a*p(x), g(x) = b*p(x), h(x) = c*p(x)
ただし， p(x)∈k[x], a^n + b^n = c^n (a, b, c∈k)