theorem Th48: :: ZFMISC_1:49

for x, y being object
for Z being set st {x,y} misses Z holds
not x in Z