theorem :: MEMBER_1:70

for A, B being complex-membered set holds -- (A ++ B) = (-- A) -- B by Lm5;