theorem Th162: :: MEMBER_1:162

for A being complex-membered set
for a being Complex
for e being set st e in a -- A holds
ex c being Complex st
( e = a - c & c in A )