for A being complex-membered set st A <> {} holds
0 ** A = {0}