theorem Th6: :: RPR_1:6

for E being non empty set
for e being Singleton of E ex a being Element of E st
( a in E & e = {a} )