theorem :: ORDINAL6:77

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