The Stacks project

Proof. Follows from Lemma 85.5.2 and 85.6.1 by keeping track of the sheaves of rings. A small point is that in order to define $h_ n$ as a morphism of ringed topoi we set $h_ n^\sharp = g_ n^{-1}h^\sharp : g_ n^{-1}h_{total}^{-1}\mathcal{O}' \to g_ n^{-1}\mathcal{O}$ which makes sense because $g_ n^{-1}h_{total}^{-1}\mathcal{O}' = h_ n^{-1}(g'_ n)^{-1}\mathcal{O}' = h_ n^{-1}\mathcal{O}'_ n$ and $g_ n^{-1}\mathcal{O} = \mathcal{O}_ n$. Note that $g_ n^*\mathcal{F} = g_ n^{-1}\mathcal{F}$ for a sheaf of $\mathcal{O}$-modules $\mathcal{F}$ and similarly for $g'_ n$ and this helps explain why $(g'_ n)^* \circ h_{total, *} = h_{n, *} \circ g_ n^*$ follows from the corresponding statement of Lemma 85.5.2. $\square$