theorem Th48: :: CLVECT_3:48

for X being ComplexUnitarySpace
for seq being sequence of X
for Cseq being Complex_Sequence st Cseq is convergent & seq is convergent holds
Cseq * seq is convergent