Proof. [01EA]
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.
Pick vanishing on and rational. By Corollary 2.3 there exists a model and a divisor such that on . The divisor is then effective, proving and hence on . ∎