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