IV.P107 — Gap positivity at each finite stage

Gap positivity at each finite stage: for every n >= 3, delta_n^s > 0, because C_s[n] is finite, Q_n^s is positive-definite on non-vacuum perturbations, and the minimum of a finite set of positive eigenvalues is positive.