theorem :: MEMBER_1:203

for A being complex-membered set holds 1 ** A = A