Proof. [02NG]
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.
We will prove the statement for lattice functions. The statement for rational piecewise affine functions is proved with the same argument. If is an H-lattice function, we can write , where and are H-lattice concave functions. We obtain as any common refinement of and to a polyhedral complex. Then the statement follows from the definition of H-lattice concave functions. The converse is an easy consequence of Corollary 3.84. ∎