However, this argument is fallacious, because as remarked after Lemma 3, $K$ is discontinuous.
This is because the factor $M$ satisfies condition (P).
Unfortunately, because of the possible presence of `cusps', this need not be true.
Because of this, $W$ is never long enough to cancel with $M$ in the product $ABC$.
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