theorem Th194: :: MEMBER_1:194

for A being complex-membered set
for a being Complex holds a ** A = { (a * c) where c is Complex : c in A }