theorem Th77: :: HILB10_7:77

for x being object
for E being Enumeration of {x} holds E = <*x*>