theorem Th30: :: ORDINAL5:30

for a being Ordinal st 1 in a holds
a |^|^ omega is limit_ordinal