theorem Th31: :: ARYTM_3:31

for A being Ordinal st A in RAT+ holds
A in omega