Proof. [02TL]
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 a toric section of whose divisor meets properly. Let be the corresponding virtual support function. The condition of proper intersection is equivalent to . Then extends to a continuous function on and the restriction of is equal to . Hence the result follows from Proposition 5.22. ∎