**Proof.**
Proof of (1). Let $x \in X$ be a point. Let $\mathcal{O}^{sh}_{X, \overline{x}}$ be a strict henselization of $\mathcal{O}_{X, x}$. By More on Algebra, Lemma 15.45.6 we see that $\mathcal{O}^{sh}_{X, \overline{x}}$ is a normal domain. Hence $\mathop{\mathrm{Spec}}(K) \times _ X \mathop{\mathrm{Spec}}(\mathcal{O}^{sh}_{X, \overline{x}})$ is irreducible. It follows that the stalk $(g_*\underline{E})_{\overline{x}}$ is equal to $E$, see Theorem 59.53.1.

Proof of (2). Since $g$ factors through $j$ there is a map $j_*\underline{E} \to g_*\underline{E}$. This map is injective because for every scheme $V$ étale over $X$ the set $\mathop{\mathrm{Spec}}(K) \times _ X V$ is dense in $U \times _ X V$. On the other hand, we have a map $\underline{E} \to j_*\underline{E}$ and we conclude.
$\square$

## Comments (2)

Comment #9028 by DU Changjiang on

Comment #9188 by Stacks project on