“…Recalling again that m i ≥ m 2 i , the required inequality follows. 1 In our setting, the vanishing in question is very elementary. In fact, the question being local, one can replace S by an affine neighborhood of x, so that O S ′ (−A) is globally generated.…”