Proof. Combine Lemma 29.10.2 with the remark that $X \to S$ is separated if and only if the image of $\Delta _{X/S}$ is closed in $X \times _ S X$, see Schemes, Definition 26.21.3 and the discussion following it. $\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).