すまん寝ぼけまくってた

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