Lemma 11.4. $K(S,n)$ is finite.