theorem Th44: :: MEMBER_1:44

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