theorem Th5: :: HURWITZ:5

for z being Element of F_Complex
for k being Element of NAT holds ((power F_Complex) . (z,k)) *' = (power F_Complex) . ((z *'),k)