theorem Th43: :: MEMBER_1:43

for f, g being ExtReal holds {f} ++ {g} = {(f + g)}