Lemma 37.22.5. Let $f : X \to S$ be a flat morphism of schemes which is locally of finite presentation. Let $s \in S$ be a point in the image of $f$. Then there exists a commutative diagram

$\xymatrix{ S' \ar[rr] \ar[rd]_ g & & X \ar[ld]^ f \\ & S }$

where $g : S' \to S$ is flat, locally of finite presentation, locally quasi-finite, and $s \in g(S')$.

Proof. The fibre $X_ s$ is not empty by assumption. Hence there exists a closed point $x \in X_ s$ where $f$ is Cohen-Macaulay, see Lemma 37.21.7. Apply Lemma 37.22.4 and set $S' = S$. $\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).