theorem Th6: :: NEWTON01:6

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