Proof. [02V5]
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 special fibre of is a chain of rational curves , , corresponding to the points . The monomial is a section of the trivial line bundle and corresponds to the function . Using Proposition 4.84 we obtain that
where and are again the horizontal divisors determined by the points and .
Since the vertices of the polyhedral complex are integral, by equation (4.87), we deduce that is reduced.