theorem Th64: :: ORDINAL6:64

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