theorem :: NUMBER15:90

for a, n being positive Nat st 2 <= n holds
{ [x,y] where x, y is positive Nat : (x |^ n) - (y |^ n) = a } is finite