The Stacks project

Proof. Proof of (1). We can write $\mathcal{F} = \mathop{\mathrm{colim}}\nolimits _{i \in I} \mathcal{F}_ i$ with $\mathcal{F}_ i$ constructible abelian by Lemma 59.73.2. Choose $i \in I$. Since $\mathcal{F}|_\eta$ is zero by assumption, we see that there exists an $i'(i) \geq i$ such that $\mathcal{F}_ i|_\eta \to \mathcal{F}_{i'(i)}|_\eta$ is zero, see Lemma 59.71.8. Then $\mathcal{G}_ i = \mathop{\mathrm{Im}}(\mathcal{F}_ i \to \mathcal{F}_{i'(i)})$ is a constructible abelian sheaf (Lemma 59.71.6) whose stalk at $\eta$ is zero. Hence the support $E_ i$ of $\mathcal{G}_ i$ is a constructible subset of $X$ not containing $\eta$. Since $\eta$ is a generic point of an irreducible component of $X$, we see that $\eta \not\in Z_ i = \overline{E_ i}$ by Topology, Lemma 5.15.15. Define a new directed set $I'$ by using the set $I$ with ordering defined by the rule $i_1$ is bigger or equal to $i_2$ if and only if $i_1 \geq i'(i_2)$. Then the sheaves $\mathcal{G}_ i$ form a system over $I'$ with colimit $\mathcal{F}$ and the proof is complete.

The proof in case (2) is exactly the same and we omit it. $\square$