That (2) implies (1) is contained in the proof of Theorem 1 in [4].
The preceding proof contains a result which is interesting enough to be stated separately.
Section 2 contains an overview of the necessary background.
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