theorem Th97: :: ORDINAL7:84

for a, b being Ordinal
for x being object holds (omega -exponent (CantorNF a)) . x c= (omega -exponent (CantorNF (a (+) b))) . x