IV.P98 — Properties of h_n

For each n >= n_0, h_n exists (P_n(U)\{0} is nonempty for sufficiently large n), is unique (lexicographic total order), and has strictly positive excitation cost Q_n(h_n, h_n) > 0.