Proof. [02UM]
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.
As in the proof of Proposition 5.16, we can verify that the function can be extended to a continuous function on . Using that is a section of and the image of consists of points which are fixed under the action of , we also verify that is the toric metric associated to by the same proposition. ∎