Lemma 10.154.6. Let $R$ be a ring. Given a commutative diagram of ring maps

$\xymatrix{ S \ar[r] & K \\ R \ar[u] \ar[r] & S' \ar[u] }$

where $S$, $S'$ are henselian local, $S$, $S'$ are filtered colimits of étale $R$-algebras, $K$ is a field and the arrows $S \to K$ and $S' \to K$ identify $K$ with the residue field of both $S$ and $S'$. Then there exists an unique $R$-algebra isomorphism $S \to S'$ compatible with the maps to $K$.

Proof. Follows immediately from Lemma 10.154.5. $\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).