theorem :: NEWTON01:19

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