theorem Th75: :: ORDINAL6:75

for a being Ordinal holds 1 -Veblen a is epsilon