theorem Th20: :: ZFMISC_1:20

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