Proof. [01GI]
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.
Let be an algebraic closure of and let be an irreducible component of (the reduction of) . There exists a component of dominating . Upon replacing and by and we are reduced to the case where is algebraically closed. Upon taking successive hyperplane sections of not containing any component of and choosing an irreducible component dominating we may then assume that is generically finite. In that case we have
and the result is then clear since is nef. ∎