theorem :: NEWTON01:43

for a, b, n being Nat st a > 0 holds
(a |^ (n + 2)) + (a |^ (n + 2)) <> b |^ (n + 2)