Lemma 18.24.1. Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. Let $\theta : \mathcal{G} \to \mathcal{F}$ be a surjective $\mathcal{O}$-module map with $\mathcal{F}$ of finite presentation and $\mathcal{G}$ of finite type. Then $\mathop{\mathrm{Ker}}(\theta )$ is of finite type.

Proof. Omitted. Hint: See Modules, Lemma 17.11.3. $\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).