Proof. [01FP]
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 the normalization of the blow-up of along and let be the vertical Cartier divisor such that . The assumption implies that is also generated by its global sections, so that is nef. The result follows since the model function is determined on by . โ