もとい次の定理を証明してください。

3 以上の自然数 n について、x^n + y^n = z^n となる
0 でない自然数 (x, y, z) の組み合わせがない