Proof. [04R4]
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.
By Proposition 1.4 comes as a corner locus of a convex piecewise-linear function on . Let , be the equations of the linear functions on the adjacent components of . Then are the vectors in normal to the linear portions of the graph of adjacent to .
The -version of the vector product associates a normal vector to other vectors in . We take all possible such products among and project them to . The result is the vectors which are multiples of . By linear algebra the sum of these vectors is zero. ∎