任意の自然数kに対し、a^k - b^k　が自然数になるとき、a,bは自然数であることを示せ。



プラスにした場合は明らかに……