Proof. [01FR]
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 a vertical blow-up such that for some . Since is determined by , the assumption that is -psh implies that is -nef. By Lemma 1.4 and Kleiman’s criterion [Kle66], we may find a vertical -ample -divisor arbitrarily close to . It is then clear that is uniformly close to on (see the proof of Corollary 2.4). Since is -ample we may find such that is -globally generated. If we set we then have , which concludes the proof. ∎