theorem Th92: :: MEMBER_1:92

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