theorem :: NEWTON01:39

for a, b, c, n being Nat st a >= b & (c |^ n) - (b |^ n) = a |^ n holds
( (c - b) gcd (a |^ n) = c - b & (c - a) gcd (b |^ n) = c - a )