theorem Th10: :: PREPOWER:10

for a, b being Real
for n being natural Number st 0 <= a & a < b & 1 <= n holds
a |^ n < b |^ n