 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.