theorem Th83: :: CLVECT_2:83

for X being ComplexUnitarySpace
for seq, seq1 being sequence of X st seq is convergent & seq1 is subsequence of seq holds
seq1 is convergent