Closed subscheme of a projective scheme determined by homogeneous ideals So in Ravi Vakil's notes Ex 8.2C, I have to prove that if $\pi:X\hookrightarrow\text{Proj}\ S_{\cdot}$ is a closed subscheme (here $S_{\cdot}$ is a graded ring finitely generated by elements of degree 1), then there exists a homogeneous ideal $I$ such that $X=\text{Proj}\ S_{\cdot}/I$.

I have gone as far as proving the following:

Suppose $S_\cdot$ is generated by $x_i$'s for $i=0,...,n$. Then by definition of closed subscheme, on $\mathcal{O}_{\text{Proj}\ S_{\cdot}}(D(x_i ))$ we have an ideal $I_i$ of $((S_{\cdot})_{x_{i}})_{0}$. Then I let $J_i$ to be the homogeneous ideal in $S_{\cdot}$ such that

$$ J_{i}=\bigoplus_{d}\{a\in S_d: a/x_{i}^{d}\in I_{i}\}.$$

Then I let $I=\cap J_{i}$. The reason why I arrive at this is as follows and in fact I am not even sure it is correct: that each of the $I_i$ in $\mathcal{O}_{\text{Proj}\ S_{\cdot}}(D(x_i ))$ corresponds to a closed subscheme of $D(x_i )$. Then $X$ is supposed to be the union of these closed subschemes which translates to the intersection of ideals, and hence the result. Surprisingly, I got the correct homogeneous ideal by checking the sources, but I have a problem of proving that this corresponds to the desired $X$. I have searched several sources but it requires using coherent modules and some other techniques which are only proven in the later chapters. Is there a way to prove this using elementary way? Thanks!
I got the same $I$! Our definition is probably correct because that could be why Vakil says that generation in degree $1$ can be easier for some people, and we use this in our definition of $I$. I think now we are done because $\text{Proj}(S/I)$ and $X$ have the same data in terms of ideal sheaf. This is probably why several sources uses quasi-coherence. In fact, I believe Vakil is talking about this in 8.1.H. That is, affine-locally the two schemes $\text{Proj}(S/I)$ and $X$ have the same data, and their gluing are exactly the same. Please correct me if I am wrong!
Hints: 1) Closed immersions are projective. 2) The composition of projective morphisms is projective (Segre-embedding). 3) Surjectivity of a homomorphism of graded rings can be tested locally.