for a being Ordinal holds 1 -Veblen a = epsilon_ a