theorem Th70: :: ORDINAL6:70

for a, b, c being Ordinal st b in c holds
b -Veblen (c -Veblen a) = c -Veblen a