Proof. [01CK]
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.
For each let be the upper envelope of the family of piecewise -affine convex functions on such that and for all , and let be the corresponding continuous toric semipositive metric. By Proposition 8.6, each measure with is of the form for some . Now elementary Newton polytope considerations show that is piecewise -affine when all are rational, and the result follows by continuity of . ∎