Lemma 29.43.11. Let $f : X \to S$ be a H-quasi-projective morphism. Then $f$ factors as $X \to X' \to S$ where $X \to X'$ is an open immersion and $X' \to S$ is H-projective.

Proof. By definition we can factor $f$ as a quasi-compact immersion $i : X \to \mathbf{P}^ n_ S$ followed by the projection $\mathbf{P}^ n_ S \to S$. By Lemma 29.7.7 there exists a closed subscheme $X' \subset \mathbf{P}^ n_ S$ such that $i$ factors through an open immersion $X \to X'$. The lemma follows. $\square$

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).