theorem :: MEMBER_1:69

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