theorem Th63: :: ORDINAL6:63

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