1: \begin{proof}

2:             Let $R=\kazn/I$.

3:             Amongst other things, \cref{thm:proj-truncation-iso} tells us that, for any graded ring $S$ and any $d\in\nn$, prime weighted-homogeneous ideals in $S^{(d)}$ not containing $S^{(d)}_+$ are in exact correspondence with prime weighted-homogeneous ideals in $S$ not containing $S_+$.

4:             Thus, since \mbox{$I\triangleleft\kazn$} is a prime weighted-homogeneous relevant ideal ($X$ is non-empty) we know that it corresponds exactly to a prime weighted-homogeneous ideal $J\triangleleft\kazn^{(d)}$ not containing $\kazn^{(d)}_+$.

5: 

6:             That is,

7:             \[

8:                 R = \frac{\kazn}{I} \implies R^{(d)} = \frac{\kazn^{(d)}}{J}

9:             \]

10:             where $J$ is prime weighted-homogeneous and such that $\van(J)\subseteq\proj\kazn^{(d)}$ is non-empty (since $J$ doesn't contain $\kazn^{(d)}_+$).\footnote{%

11:                 This bit of the argument is admittedly a bit too hand-wavey for the author's liking.

12:                 Hopefully looking at the example in \cref{sub:a_worked_example} will convince the reader that this could indeed be made more rigorous.

13:             }

14: 

15:             By \cref{lem:suffic-large-d} we can find some $d\in\nn$ such that $R^{(d)}$ is generated by $R_d$.

16:             In $R^{(d)}$ the elements of $R_d$ have degree $1$ by definition, and so

17:             \[

18:                 R^{(d)} = \frac{k[y_0,\ldots,y_N]}{J}

19:             \]

20:             where $\wt y_i=1$ for all $i$, and $J$ is the image of $I$ in $R^{(d)}$, which is homogeneous (in the straight sense since $a=(1,\ldots,1)$) by the above argument.

21: 

22:             So \cref{thm:proj-truncation-iso} and \cref{thm:what-proj-means-for-quotients} tell us that

23:             \[

24:                 X = \proj R \cong \proj R^{(d)} = \van(J)\subseteq\pee(1,\ldots,1) = \pee^N.\qedhere

25:             \]

26:         \end{proof}

27: