for A being non empty Cantor-normal-form Ordinal-Sequence
for b being Ordinal
for n being non zero Nat st b in omega -exponent (last A) holds
A ^ <%(n *^ (exp (omega,b)))%> is Cantor-normal-form