Let $X$ be a scheme, and $\L$ an ample invertible sheaf on $X$ . Then for any coherent sheaf $\F$ , and sufficiently large $n$ , $H^i(\F\otimes\L^n)=0$ , that is, the higher sheaf cohomology of $\F\otimes\L^n$ is trivial.