Proof. [01FX]
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 . By Proposition 5.2 we may find a model and a model function such that , and are all determined on and such that is -positive. Since the closed -form is determined on we may thus find a rational number such that . It follows that is a difference of -psh model functions, and the result follows. The case when is semipositive is proved in a similar way. ∎