Proof. [04RE]
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.
Because of its maximality, the polyhedron is dual to a unimodular triangulation of . Such a triangulation cannot be further subdivided and therefore its vertices are all the lattice points of . Therefore, is homotopy equivalent to . ∎