FG d 1 implies PL d 4VLA8F9D

FG_d-1 implies PL_d

Theorem 5.10. (5.9)n−1 implies that pl-flips exist in dimension n. (pdf) (Hacon, p. 48)