Lemma 37.23.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
where $g : S' \to S$ is flat, locally of finite presentation, locally quasi-finite, and $s \in g(S')$.