for A, B, C being complex-membered set holds A /// (B /\ C) c= (A /// B) /\ (A /// C)