Fundamental theorems for the log minimal model program

In this paper, we prove the cone theorem and the contraction theorem for pairs $(X,B)$, where $X$ is a normal variety and $B$ is an effective $\mathbb R$-divisoron$X$suchthat$K_X+B$is$\mathbb R$-Cartier.