theorem :: NEWTON02:41

for n being Nat
for r, s being non negative Real st r >= s holds
r |^ n >= s |^ n