Proof. [01IA]
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.
Let be a given very ample line bundle such that is ample. By the Castelnuovo-Mumford criterion it is enough to check that
for , and this is a consequence of TheoremΒ B.5. β