theorem Th67: :: ORDINAL6:67

for a, b being Ordinal
for U being Universe st omega in U & a in U & b in U holds
b -Veblen a = ((U -Veblen) . b) . a