First we assume that
is ample. We choose a positive integer such that
and is very ample.
Then we have an embedding and
.
Let be a free basis of .
We define a norm of to be
|
|
|
Note that , so that,
by Proposition 3.8, we have
for . Thus is semipositive.
In general, let be an ample invertible sheaf on and .
We choose such that is ample
for all .
Note that ,
so that
for
by the previous observation together with Proposition 3.16.
On the other hand, by (3) in Lemma 3.15,
|
|
|
Therefore, , and hence is semipositive
by Proposition 3.16.
∎