n が 3 以上の自然数であるとき、x^n + y^n = z^n を満たす自然数の組 (x, y, z) は存在しないことを証明の観点から検証しなさい。