theorem Th29: :: ENUMSET1:29

for x1 being object holds {x1,x1} = {x1}