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