theorem Th75: :: MEMBER_1:75

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