theorem Th33: :: SERIES_3:33

for s being Real_Sequence st ( for n being Nat holds s . n > 0 ) holds
for n being Nat holds (Partial_Sums s) . n > 0