theorem Th41: :: MESFUN11:41

for X being non empty set
for F being Functional_Sequence of X,ExtREAL st F is additive holds
- F is additive