theorem :: ZFMISC_1:42

for x, y being object
for Z being set st x in Z & y in Z holds
{x,y} \/ Z = Z by Th31, XBOOLE_1:12;