Lemma 61.25.6. Let $i : Z \to X$ be a closed immersion of schemes. If $X \setminus i(Z)$ is a retrocompact open of $X$, then $i_{{pro\text{-}\acute{e}tale}, *}$ is exact.

Proof. The question is local on $X$ hence we may assume $X$ is affine. Say $X = \mathop{\mathrm{Spec}}(A)$ and $Z = \mathop{\mathrm{Spec}}(A/I)$. There exist $f_1, \ldots , f_ r \in I$ such that $Z = V(f_1, \ldots , f_ r)$ set theoretically, see Algebra, Lemma 10.29.1. By Lemma 61.25.4 we may assume that $Z = \mathop{\mathrm{Spec}}(A/(f_1, \ldots , f_ r))$. In this case the functor $i_{{pro\text{-}\acute{e}tale}, *}$ is exact by Lemma 61.24.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).