Proof. [04VT]
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.
By Proposition 3.3.2, it is enough to show that is contained in the right hand side of (3.3.5). Shrinking around if necessary, we can assume that is generated by global sections . Then for each point on , we can choose an index in such that is an effective divisor on and is not contained in its support. This implies that the weight of is zero at all points of and non-negative at all other points of . Thus is contained in . Varying the point , we find that is contained in
∎