reserve a,b,c,h for Integer;
reserve k,m,n for Nat;
reserve i,j,z for Integer;
reserve p for Prime;

theorem Th104:
  n is odd implies
  for r,s being negative Real holds r <= s implies r|^n <= s|^n
  proof
    assume
A1: n is odd;
    let r,s be negative Real;
    assume r <= s;
    then (-1)*r >= (-1)*s by XREAL_1:65;
    then
A2: (-r)|^n >= (-s)|^n by NEWTON02:41;
    (-r)|^n = -r|^n & (-s)|^n = -s|^n by A1,POWER:2;
    then (-1)*(-r|^n) <= (-1)*(-s|^n) by A2,XREAL_1:65;
    hence thesis;
  end;
