Proof. [03FA]
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.
Consider first. For a simplex , let be the corresponding face of , and we set . Then the set contains some translation of .
On the other hand, is the Legendre transform of . Hence, if and is in the normal cone to at , then . So we see that for the gradient takes values in the face of because . In particular, the -slopes of are equal to .
For the statement of the lemma follows from the case and the Proposition 3.1. The translated cones become shifted into their interiors by some vectors of size . ∎