PL d+ST d implies EM d VX7UPCXY

PL_d+ST_d implies EM_d

Proof (of Theorem 1.4). We closely follow the proof of [2], Theorem 1.3. Remember that the assumptions imply that pl flips exist in dimension d by Theorem 2.10 and that the special termination holds as in Theorem 2.9. (pdf) (Birkar 和 Paun, 2011, p. 87)