theorem Th167: :: MEMBER_1:167

for A, B being complex-membered set
for a being Complex holds a -- (A \+\ B) = (a -- A) \+\ (a -- B)