Proof. [015F]
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 first point is a simple consequence of the triviality of the normal bundle together with the adjunction formula
canonically realized by Poincaré residues once an order on has been chosen. When is a maximal face of , each meeting properly satisfies , which implies that has coefficients . ∎