Lemma 31.12.11. Let $X$ be an integral locally Noetherian scheme. Let $\mathcal{F}$ be a coherent reflexive $\mathcal{O}_ X$-module. Let $x \in X$.

1. If $\text{depth}(\mathcal{O}_{X, x}) \geq 2$, then $\text{depth}(\mathcal{F}_ x) \geq 2$.

2. If $X$ is $(S_2)$, then $\mathcal{F}$ is $(S_2)$.

Proof. Omitted. See More on Algebra, Lemma 15.23.16. $\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).