theorem Th5: :: ZF_COLLA:5

for E being non empty set
for d being Element of E ex A being Ordinal st d in Collapse (E,A)