theorem Th149: :: MEMBER_1:149

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