theorem Th116: :: CLVECT_1:116

for z being Complex
for CNS being ComplexNormSpace
for S being sequence of CNS st S is convergent holds
z * S is convergent