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 SNC model dominating the blow-up of along , so that we have for some effective divisor . By the projection formula we have
|
|
|
Now is nef and has coefficients in . LemmaΒ B.6 below together with the projection formula yields
|
|
|
The Leray spectral sequence is thus degenerate and we conclude using TheoremΒ B.3.
β