We prove the statement by induction on m. When m=k, we have
Li[(ik)−(i0)]=Li(ik)=Li⋅i!(k−i)!k!=k⋅iLi⋅(i−1)!(k−i)!(k−1)!=k⋅iLi⋅(i−1k−1).
Since iLi is an integer (by definition of Li), and (i−1k−1) is a binomial coefficient and thus also an integer, we see that k is indeed a divisor.
For the induction step, assume that the statement holds for a specific value of m. We use the recursion (im+1)=(im)+(i−1m) to show that it holds for m+1 as well:
Li[(im+1)−(im+1−k)]=Li[(im)−(im−k)]+Li[(i−1m)−(i−1m−k)]=Li[(im)−(im−k)]+Li−1Li⋅Li−1[(i−1m)−(i−1m−k)].
Note that k divides both Li[(im)−(im−k)] and Li−1[(i−1m)−(i−1m−k)] by the induction hypothesis (if i=1, the latter term is simply zero), and Li−1 (the least common multiple of 1,2,…,i−1) divides Li (the least common multiple of 1,2,…,i, or equivalently the least common multiple of Li−1 and i). It follows that k is also a divisor of Li[(im+1)−(im+1−k)], which completes the proof.