theorem Th79: :: MEMBER_1:79

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