Put and . The hypothesis says multiplication by on the graded ring is injective for . Checking homogeneous elements suffices: an arbitrary annihilated element splits into homogeneous components, each annihilated separately because and are homogeneous. Also because it has degree , and is an integral domain. Thus is a regular sequence, and the suggested short exact sequences become
Sheafification and twisting preserve exactness. With , the resulting sequences, interpreted on the ambient projective space via the closed inclusions, are
Cohomology under a closed immersion identifies the displayed sheaf cohomology with that on . For every integer , cohomology of twisting sheaves on projective space gives for . Inducting through the long exact sequence in sheaf cohomology gives
Indeed the two adjacent groups have degrees and on , both in its vanishing range. This is intermediate cohomology vanishing for a projective complete intersection.
We simultaneously prove for and . Both hold on by the same projective-space formula. For , the preceding stage has . If , both degree-zero groups on that stage vanish, so the new one vanishes. If , the left degree-zero group vanishes because , while the middle group is . Therefore the natural restriction of constant functions is an isomorphism at every stage:
These are isomorphisms of -algebras, not just vector spaces. The global regular functions on a positive-dimensional projective complete intersection are constants even if the complete intersection is singular or nonreduced; smoothness and reducedness were not assumed.