for e being epsilon Ordinal ex a being Ordinal st e = 1 -Veblen a