theorem Th34: :: COMSEQ_3:34

for seq being Complex_Sequence holds Partial_Sums |.seq.| is non-decreasing