Bài tập 4, § 1

Cho $A$ là một vành, $J$ là một iđêan kiểu hữu hạn của $A$, $M$ là một $A$-môđun, $P$ là một $A$-môđun phẳng. Chứng minh rằng ta có $\mathrm{prof}_A(J; P \otimes_A M) \geq \mathrm{prof}_A(J; M)$, và rằng có đẳng thức nếu $P$ là phẳng trung thành.