theorem Th20: :: MEMBER_1:20

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