Exercise 8, § 3

Let $C$ a commutative ring, $E, F$ two $C$-modules. Now prove that one has $\lambda(E \otimes_C F) \geqslant \inf(\lambda(E), \lambda(F))$.