theorem Th37: :: ORDINAL5:37

for e being epsilon Ordinal holds omega in e