Proof. [04W5]
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.
We first notice that in the above statement, can be replaced by any smaller open set that meets all the log canonical centers: the closure of the restriction of to will yield the same divisor on .
Then by induction, we only need to treat the case where is a component of , say . If we take a log resolution and let be the birational transform of , then can be computed as follows: if we write then . In particular, as is Cartier, we know that is a integral divisor. Since it is effective, and all the components of are log canonical centers of , we see that must be equal to the closure of the restriction of . ∎