theorem
  for r,s be non negative Real holds
    r >= s implies r|^n >= s|^n
  proof
    let r,s be non negative Real;
    n = 0 implies r|^n = 1 & s|^n = 1 by NEWTON:4;
    hence thesis by Th40;
  end;
