theorem Th134: :: ZFMISC_1:135

for x being object
for Y, X being set holds
( not X c= Y \/ {x} or x in X or X c= Y )