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.
Choose so that the -realization of
satisfies the conclusion of Lemma 3.5 for
and .
By construction of , the set of values on one of
the polyhedra is contained in the set of values on its
boundary which is contained in . Statement (1) follows from
.
For (2), let . Then belongs
to a cell of the
-realization of , so that . Also, say, . If we parameterize
such that (and ), then,
by (1), . So stays in the hyperplane , where .
For , .
For , let be a linear
functional which takes the values on , and on the
opposite side of . Then , and . So in this time range, as well. For , belongs to
by (1).
∎