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