theorem Th97: :: MEMBER_1:97

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