theorem :: ENUMSET1:51

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