theorem Th104: :: NUMBER14:104

for n being Nat st n is odd holds
for r, s being negative Real st r <= s holds
r |^ n <= s |^ n