theorem Th35: :: CLVECT_3:35

for X being ComplexUnitarySpace
for seq being sequence of X holds Partial_Sums ||.seq.|| is non-decreasing