theorem Th9: :: MEMBER_1:9

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