theorem Th179: :: MEMBER_1:179

for A, B being complex-membered set
for a being Complex holds
( A c= B iff A -- a c= B -- a )