Reid-Fukuda 型无基点定理

设 $(X,\Delta)$ 为一个真 dlt 对,$L$ 为一个 nef Cartier 除子,使得对某个 $a\in {\mathbb Z}_{>0}$,$aL-(K_X+\Delta)$ 在 $(X,\Delta)$ 上是 nef 且 log big 的。则对每一个 $m\gg 0$,$|mL|$ 无基点。