theorem Th33: :: MEMBER_1:33

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