theorem :: NEWTON02:44

for a, b, n being Nat st n > 0 & a > b & a,b are_coprime holds
((a |^ n) + (b |^ n)) gcd ((a |^ n) - (b |^ n)) <= 2