Proposition 7.4. Theorem 7.2 implies Theorem 7.1.