[= 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.