Theorem 15.3. $S^{(n)}(E∕K)$ is finite.