Proof. [02QK]
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.
If is a strictly concave function on , then is an -dimensional lattice polytope. Conversely, if is a lattice polytope in , then , the support function of , is a strictly concave function on the complete fan (see examples 3.71 and 3.76). Therefore, the result follows from Theorem 4.18 and the construction of Remark 4.40. ∎