theorem Th22: :: CLOPBAN3:22

for X being ComplexNormSpace
for s being sequence of X st s is summable holds
for n being Nat holds s ^\ n is summable