theorem Th48: :: MEMBER_1:48

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