Nef-plus-ample ampleness lemma
= Nef-plus-ample ampleness lemma
The sum of a <nef> real Cartier class and an <ample> real Cartier class on a <projective scheme> is <ample>. By <Kleiman's criterion>, the <ample cone> is the interior of the <nef cone>. If a ball about an <ample> class lies in that convex cone, translating it by a <nef> class still lies in the cone. The sum is consequently still an interior point.