theorem Th7: :: ZFMISC_1:7

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