theorem Th11: :: PREPOWER:11

for a being Real
for n being natural Number st a >= 1 holds
a |^ n >= 1