The following lemma, crucial to Theorem 2, is also implicit in [4].
The constants implicit in the symbol ≈ depend on r.