theorem Th50: :: MEMBER_1:50

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