for a being Ordinal holds epsilon_ (succ a) = (epsilon_ a) |^|^ omega