theorem Th14: :: ORDINAL3:14

for A being Ordinal st A in 1 holds
A = {}