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.
Since the relative log canonical divisor and are both models of , is a -Cartier divisor supported on . The corresponding model function satisfies
, which shows that
is affine
on each face of . Now pick . By (5.1), we get
|
|
|
It follows that , and hence , by Proposition 5.6.
∎