theorem Th67: :: LPSPACE2:67

for X being non empty set
for F being Functional_Sequence of X,REAL st ( for m being Nat holds F . m is nonnegative ) holds
for m being Nat holds (Partial_Sums F) . m is nonnegative