theorem Th166: :: MEMBER_1:166

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