theorem Th76: :: ORDINAL6:76

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