Proof. [04VK]
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.
For the definition of an elementary collapse in a simplicial topological space, we refer to Definition 18 in [dFKX12]. By Corollary 3.2.7, we can assume that the good minimal -model is the result of running MMP for . Now the statement follows from Corollary 22 in [dFKX12]. When is not algebraically closed, see also ยง31 in [dFKX12]. โ