theorem Th39: :: MEMBER_1:39

for F, G being ext-real-membered set
for f, g being ExtReal st f in F & g in G holds
f + g in F ++ G