theorem Th117: :: CLVECT_1:117

for CNS being ComplexNormSpace
for S being sequence of CNS st S is convergent holds
||.S.|| is convergent