theorem Th6: :: PREPOWER:6

for a being Real
for n being natural Number st 0 < a holds
0 < a |^ n