theorem Th23: :: CLOPBAN3:23

for X being ComplexNormSpace
for seq being sequence of X holds
( Partial_Sums ||.seq.|| is bounded_above iff seq is norm_summable )