for c being Cantor-component Ordinal holds c = (omega -leading_coeff c) *^ (exp (omega,(omega -exponent c)))