Proof. [04RM]
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.
From the finiteness condition in Definition 1 we have that the complex does not depend on the choice of and as long as is supporting and is sufficiently large. The proof of Proposition 1.4 ensures that is a dual -complex. If is maximal then it is dual to a triangulation of into simplices of minimal volume. Such a triangulation induces a triangulation into simplices of minimal volume on the faces and thus is also maximal. ∎