Thanks to Lemma 2, we can now modify the proof of Theorem 3 by inductively constructing five sequences ......
Define two polynomials $f$ and $g$ inductively as follows.
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