theorem Th39: :: MESFUNC9:39

for X being non empty set
for F being Functional_Sequence of X,ExtREAL
for n being Nat st ( for m being Nat holds F . m is without-infty ) holds
(Partial_Sums F) . n is without-infty