theorem Th68: :: ORDINAL6:68

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