theorem Th74: :: COMPLFLD:74

for e being Element of F_Complex
for n being Nat holds (power F_Complex) . (e,n) = e |^ n