Remark 29.42.3. The assumption on uniqueness of the dotted arrows in Lemma 29.42.2 is necessary (details omitted). Of course, uniqueness is guaranteed if $f$ is separated (Schemes, Lemma 26.22.1).

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