theorem Th58: :: COMSEQ_3:58

for seq being Complex_Sequence st seq is summable holds
for n being Nat holds seq ^\ n is summable