The Stacks project

Proof. Since $L$ is linearly adequate there exists an exact sequence

Here $P = \mathop{\mathrm{Coker}}(A^{\oplus m} \to A^{\oplus n})$ is the cokernel of the map of finite free $A$-modules which is given by the definition of linearly adequate functors. By Lemma 46.4.8 we have the vanishing of $\mathop{\mathrm{Ext}}\nolimits ^ i_\mathcal {P}(\underline{P}, \underline{M})$ and $\mathop{\mathrm{Ext}}\nolimits ^ i_\mathcal {P}(\underline{A}, \underline{M})$ for $i > 0$. Let $K = \mathop{\mathrm{Ker}}(\underline{A^{\oplus n}} \to \underline{P})$. By the long exact sequence of Ext groups associated to the exact sequence $0 \to K \to \underline{A^{\oplus n}} \to \underline{P} \to 0$ we conclude that $\mathop{\mathrm{Ext}}\nolimits ^ i_\mathcal {P}(K, \underline{M}) = 0$ for $i > 0$. Repeating with the sequence $0 \to L \to \underline{A^{\oplus m}} \to K \to 0$ we win. $\square$