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