theorem TAYLOR21: :: COMPLEX3:14

for a being Complex
for n being Nat holds |.a.| |^ n = |.(a |^ n).|