Mori's cone theorem

I need the proof (reference) of Mori’s theorem about this implication : Let $$X$$ be a projective complex manifold. If $$X$$ contains no rational curves, then $$K_K$$ is nef.

New contributor
Kamel is a new contributor to this site. Take care in asking for clarification, commenting, and answering. Check out our Code of Conduct.