theorem :: MEMBER_1:46

for A, B being complex-membered set
for a, b being Complex st a in A & b in B holds
a + b in A ++ B ;