theorem Th50: :: ZFMISC_1:51

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