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