IV.T74 — Profinite spectral preservation

Profinite spectral preservation: the spectrum of the omega-limit quadratic form Q_omega^s has no eigenvalues in (0, delta_infinity^s), because the profinite limit does not introduce new eigenvalues that were absent at every finite stage.