theorem :: MEMBER_1:72

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