Pick propositions and save; you will write the inference text on the next screen — publish once it reads right.
Lemma 13 ([Local height-one tests]). For the individual coefficient system Tχ_hΨ , use full local conditions at the moving prime r and the active primes dividing h , without adding primes from a larger binary family. The limiting full local complexes are acyclic over every height-one residue field of Λ of characteristic zero. At (2) , with residue field Ω= F_2((t)) , the r -complex is acyclic, and so are the complexes at active split primes whose prescribed exponent is odd. These full conditions therefore agree with their orthogonal conditions on the stated tests.