theorem Th16: :: MESFUN14:16

for x being Complex
for r being natural Number st x <> 0 holds
(x |^ r) " = (x ") |^ r