theorem Th4: :: MESFUNC9:4

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