theorem :: SETFAM_1:49

for A being non empty set
for b being object st A <> {b} holds
ex a being Element of A st a <> b