Birkar07年的Duke，全文6頁，實際上除去符號，參考文獻，剩下的證明隻有不到一頁。

ACC for lc in dim d + special termination in dim d imply termination of flips in dim d lc pair with Kodaira dim≥0。

太牛了，目前flip終結性隻有兩條路，第一條Shokurov difficulty function，第二條就是Birkar，而且Birkar的定理可以和許多維數上的遞推定理聯動，牽一發而動全身。