for B, C being complex-membered set
for a being Complex holds a ** (B -- C) = (a ** B) -- (a ** C)