theorem Th144: :: MEMBER_1:144

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