theorem Th193: :: MEMBER_1:193

for A being complex-membered set
for a, b being Complex st b in A holds
a * b in a ** A