IV.R79 — The key structural point

The proof relies on projective limits of discrete spectra not introducing new eigenvalues: in a continuum limit new eigenvalues can accumulate at zero, but in a profinite limit the spectrum grows monotonically and cannot fill in the gap.