Corollary 9.5.0.29. The contents of this tag are now contained in Corollary 7.1.4.21.
Proof. Combine Propositions 8.5.0.4 and 7.1.7.14. $\square$