Proof. [04XV]
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.
In the proof of Proposition 4.3, we have constructed a dlt pair with of finite type over such that there exists an isomorphism of -schemes that identifies the log canonical centers of contained in with those of contained in . Thus the result follows from the corresponding properties of proven in [Ko13, 4.16]. โ