theorem Th201: :: MEMBER_1:201

for A being complex-membered set holds 0 ** A c= {0}