theorem :: MEMBER_1:74

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