theorem :: MEMBER_1:145

for A, B being complex-membered set
for a being Complex st a ++ A = a ++ B holds
A = B