Lemma 61.26.2. Let $j : U \to X$ be an étale morphism of schemes. Let $\mathcal{G}$ be an abelian sheaf on $U_{\acute{e}tale}$. Then $\epsilon ^{-1} j_!\mathcal{G} = j_!\epsilon ^{-1}\mathcal{G}$ as sheaves on $X_{pro\text{-}\acute{e}tale}$.

Proof. This is true because both are left adjoints to $j_{{pro\text{-}\acute{e}tale}, *}\epsilon ^{-1} = \epsilon ^{-1}j_{{\acute{e}tale}, *}$, see Lemma 61.23.1. $\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).