for A being Ordinal st A is limit_ordinal holds
A *^ (succ 1) = A