theorem Th40: :: MESFUN11:40

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