theorem Th28: :: PREPOWER:28

for a, b being Real
for n being Nat st a >= 0 & a < b & n >= 1 holds
n -Root a < n -Root b