theorem :: ZFMISC_1:21

for x, y, z being object st {x,y} c= {z} holds
{x,y} = {z}