Proof. [03BK]
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 induced reduced structure on . Since is finite (in fact an immersion), we deduce that the induced map between the special fibers is finite. By projection formula, we conclude that is nef if and only if is nef. โ