theorem Th5: :: PREPOWER:5

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