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