theorem Th31: :: ORDINAL7:18

for A being non empty Cantor-normal-form Ordinal-Sequence
for a being object st a in dom A holds
omega -exponent (last A) c= omega -exponent (A . a)