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)