Proof. [039B]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
We literally follow Mustaţă’s proof with two modifications. The proof requires Mumford’s theorem on Castelnuovo-Mumford regularity for the projective scheme over which holds also in this more general setting [BS13, 20.4.13]. Furthermore we replace the use of Fujita’s vanishing theorem to the sheaves , and the ample divisor by an application of Keeler’s generalization [Kee03, Thm. 1.5]. ∎