The Stacks project

Proof. (Same as the proof of Spaces, Lemma 65.3.5.) Let $\{ \varphi _ i : T_ i \to T\}$ be a covering of the site $(\mathit{Sch}/S)_{fppf}$. Let $s_ i \in F(T_ i)$ which satisfy the sheaf condition. Then $\sigma _ i = a(s_ i) \in G(T_ i)$ satisfy the sheaf condition also. Hence there exists a unique $\sigma \in G(T)$ such that $\sigma _ i = \sigma |_{T_ i}$. By assumption $F' = h_ T \times _{\sigma , G, a} F$ is a sheaf. Note that $(\varphi _ i, s_ i) \in F'(T_ i)$ satisfy the sheaf condition also, and hence come from some unique $(\text{id}_ T, s) \in F'(T)$. Clearly $s$ is the section of $F$ we are looking for. $\square$