theorem Th72: :: ORDINAL6:72

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