theorem :: MEMBER_1:197

for A, B being complex-membered set
for a being Complex st a <> 0 & a ** A = a ** B holds
A = B