theorem Th61: :: COMSEQ_3:61

for seq being Complex_Sequence holds
( Partial_Sums |.seq.| is bounded_above iff seq is absolutely_summable )