theorem Th17: :: NEWTON01:17

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