3以上の自然数nについてxn+yn=znとなる0でない自然数(x,y,z)の組み合わせがないという定理である