Exercice 7, § 1

Soient $A$ un anneau local, $M$ un $A$-module de type fini, $F$ une partie fermée de $\mathrm{Spec}(A)$. Démontrer l’inégalité $\mathrm{prof}_F(M) \geq \mathrm{prof}(M) - \dim(F)$.