Sea $n{}$ un entero positivo y sean $a{}$ y $b{}$ enteros positivos congruentes con 1 módulo 4. Demuestre que existe un entero positivo $k{}$ tal que al menos uno de los números $a^k-b$ y $b^k-a$ es divisible por $2^n.$