theorem Th27: :: MEMBER_1:27

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