「3以上の整数nに対して、Xn+Yn=Znを満たすような自然数X、Y、Zは存在しない。
これを証明せよ。」