theorem Th19: :: MEMBER_1:19

for a being Complex holds -- {a} = {(- a)}