theorem Th19: :: CFCONT_1:19

for seq, seq1 being Complex_Sequence st seq is convergent & ex k being Nat st
for n being Nat st k <= n holds
seq1 . n = seq . n holds
seq1 is convergent