Proof. [02FA]
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 be a resolution of . We may define a semipositive big smooth form on by . By Theorem 2.1 and Proposition 3.1 we can solve uniquely where is a continuous function on such that is semipositive. Let be a fiber of and the inclusion map. is connected by Zariski’s main theorem. Furthermore is semipositive on . Since , it follows that is a continuous psh function on . Hence is constant. This implies that where is a continuous function on . We do have . ∎