theorem Th49: :: MEMBER_1:49

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