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.
First we assume that is semipositive.
By using Proposition 3.10, we can find a positive integer such that
is generated by global sections and
|
|
|
for all . On the other hand, there is
such that .
Thus,
|
|
|
Next we consider the converse.
For a positive integer ,
there is a positive integer such that,
for any , we can find with
.
Clearly is generated by global sections.
Moreover,
|
|
|
that is,
|
|
|
Thus is semipositive.
∎