theorem Th8: :: ZF_COLLA:8

for E being non empty set ex A being Ordinal st E = Collapse (E,A)