theorem Th3: :: MESFUNC9:3

for X being non empty set
for f, g being PartFunc of X,ExtREAL st f is without-infty & g is without-infty holds
f + g is without-infty