theorem Th176: :: MEMBER_1:176

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