theorem :: MEMBER_1:31

for A, B being complex-membered set st A "" = B "" holds
A = B