for c being Nat st c > 0 holds
for r, s being non negative Real holds
( r < s iff r |^ c < s |^ c )