theorem :: ZFMISC_1:141

for X being set holds bool X <> X