theorem :: MEMBER_1:202

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