theorem Th7: :: ZF_COLLA:7

for E being non empty set
for A being Ordinal holds Collapse (E,A) c= E