Proof. [039S]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
It follows from our assumptions that is base change of the generic fiber of to . Since is smooth, we conclude that is smooth as well [EGAIV, Cor. 17.7.3]. By Proposition 2.9(vii), it is enough to prove the claim for any positive multiple of . Using this and Lemma 7.5 below, we see that by passing to dominant models, we may assume that is regular and that the restriction of to extends to an ample line bundle on . By Remark 7.2, these conditions are equivalent to Assumption 7.1 and hence the claim follows from Theorem 7.3. ∎