theorem Th32: :: ORDINAL1:36

for D being Ordinal ex A being Ordinal st
( D in A & A is limit_ordinal )