theorem :: ZFMISC_1:44

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