Lemma 54.7.2. In Situation 54.7.1 there exists a $U$-admissible blowup $X' \to S$ which dominates $X$.

Proof. This is a special case of More on Flatness, Lemma 38.31.4. $\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).