theorem Th150: :: MEMBER_1:150

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