theorem :: ZFMISC_1:43

for x being object
for X being set holds {x} \/ X <> {} ;