Lemma 29.40.8. Let $g : Y \to S$ and $f : X \to Y$ be morphisms of schemes. If $g \circ f$ is quasi-projective and $f$ is quasi-compact1, then $f$ is quasi-projective.

Proof. Observe that $f$ is of finite type by Lemma 29.15.8. Thus the lemma follows from Lemma 29.37.10 and the definitions. $\square$

[1] This follows if $g$ is quasi-separated by Schemes, Lemma 26.21.14.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).