“…Thus, since b δ + n ≡ (−qδ)(βq * ) ≡ βδ (mod p), there exists k 0 ∈ Z >0 such that b δ + n = βδ−k 0 p > 0. Thus (b δ + , k 0 ) provides a solution for (b, k) in (47), which, together with the relation b δ + ≡ pγ − qδ (mod g), implies (48) also holds for (b, k) = (b δ + , k 0 ), and so Y # (λ # ) is not an L-space. Conversely, suppose that Y # (λ # ) is not an L-space.…”