theorem :: ENUMSET1:47

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