theorem :: ZFMISC_1:140

for X being set holds {X} <> X