x^y=y^z=z^xを満たす自然数の組(x,y,z)は(1,1,1)しか存在しない事を示せ。