for A being finite Ordinal-Sequence
for a being Ordinal st <%a%> ^ A is Cantor-normal-form holds
Sum^ A in exp (omega,(omega -exponent a))