theorem :: NEWTON01:20

for a, b, c, k, n being Nat st c |^ n > (a |^ n) + (b |^ n) holds
c |^ (k + n) > (a |^ (k + n)) + (b |^ (k + n))