Lemma 78.15.8. In Situation 78.15.2 assume in addition that $s, t$ are flat and locally of finite presentation. Then there exists a scheme $U'$, a separated étale morphism $U' \to U$, and a point $u' \in U'$ lying over $u$ with $\kappa (u) = \kappa (u')$ such that the restriction $R' = R|_{U'}$ of $R$ to $U'$ is strongly split over $u'$.

Proof. This follows from the construction of $U'$ in the proof of Lemma 78.15.5 because in this case $U' = (R_ s/U, e)_{fin}$ is a scheme separated over $U$ by Lemmas 78.12.14 and 78.12.15. $\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).