Research proof index

For a fixed spatial grid cube $I$, every frequency parameter lying in one of the prescribed balls centered at the finite net $\mathcal Z(I)$ also lies in at least one of the frequency regions $\Omega_1(I,f)$. Equivalently, the union of those net balls is contained in the union of the first-stage tile frequency regions.