theorem Th114: :: CLVECT_1:114

for CNS being ComplexNormSpace
for S1, S2 being sequence of CNS st S1 is convergent & S2 is convergent holds
S1 - S2 is convergent