theorem Th32: :: ORDINAL7:19

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