theorem :: MEMBER_1:182

for A being complex-membered set
for a being Complex holds a -- A = -- (A -- a) by Th71;