for A being Cantor-normal-form Ordinal-Sequence holds omega -exponent (Sum^ A) = omega -exponent (A . 0)