Cohomology of coherent sheaves on a proper scheme