Proof. [04P3]
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.
The cones and correspond to adjacent vertices in . Thus, by Lemma 2.5.1 we construct from any path joining to , and from by the relation in Eq. 2.4.3.
The functions transform into via the change of dual bases, which is given by in Eq. 2.4.1. Comparing the two formulas, it follows that on . ∎