【プリコネ】となる自然数の組(x,y,z)が無いことを証明せよ(5点)