Oka coherence theorem

Let $M$ be a complex manifold.

Theorem.

Suppose $\mathrm{F}$ is an analytic sheaf over $M$, that is a subsheaf of ${\mathrm{O}}^k$.If $\mathrm{F}$ is a locally finitely generated sheaf, then $\mathrm{F}$is a coherent analytic sheaf.