So, today I discovered something rather nice, that I think could easily get more time in books and the like, but doesn’t. We’ll first have need of a theorem that I don’t want to prove:

**Theorem**: Let be a projective variety over and let be an invertible sheaf on . Then is ample if and only if for all coherent sheaves, there is a number , such that we have for all .