for a being Ordinal holds 0 -Veblen a = exp (omega,a)