Exercice 8, § 3

Soient $C$ un anneau commutatif, $E, F$ deux $C$-modules. Montrer que l’on a $\lambda(E \otimes_C F) \geqslant \inf(\lambda(E), \lambda(F))$.