Lemma 10.1. $E∕K$ has only finitely many primes of bad reduction.