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
|
|
|
We work first in an affine chart . Let and let be the potential of in this chart with . Then is psh on and since ,
|
|
|
Note that is a continuous psh exhaustion function on . Theorem A yields a psh function on so that
|
|
|
The function extends uniquely to a -psh function on which verifies
|
|
|
Moreover on we have
|
|
|
where
|
|
|
Hence on .
We finally let . This is a -psh function on which verifies the desired conclusions, since .
∎