[see also: imply]
The following lemma, crucial to Theorem 2, is also implicit in [4].
This is essentially implicit in [BC] but we cannot quite quote the result we need.
The constants implicit in the symbol $\approx$ depend on $r$.
Go to the list of words starting with: a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
y
z