theorem Th10: :: MEMBER_1:10

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