theorem Th7: :: PREPOWER:7

for a being Complex
for n being natural Number holds (1 / a) |^ n = 1 / (a |^ n)