theorem Th199: :: MEMBER_1:199

for A, B being complex-membered set
for a being Complex st a <> 0 holds
a ** (A \ B) = (a ** A) \ (a ** B)