theorem Th17: :: CFCONT_1:17

for seq, seq1 being Complex_Sequence st seq1 is subsequence of seq & seq is convergent holds
seq1 is convergent