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