theorem :: ZFMISC_1:41

for x, y being object
for Z being set st {x,y} \/ Z c= Z holds
x in Z