[= long and uninteresting]
The proof is tedious but routine.
Although our proof is a little tedious, it is much less so than Ito's original proof, which was carried out without the benefit of martingale technology.
Kim announces that (by a tedious proof) the upper bound can be reduced to 10.
The only thing to check is that maps compose correctly; but this is an easy, if tedious, verification.
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