theorem :: ZFMISC_1:15

for x, y being object st {x} \ {y} = {} holds
x = y