Proposition 10
Tag 053R, permanent. Cite it as [Bourbaki, Tag 053R].
Commutative Algebra, chapter VII, § 4. Modules over integrally closed Noetherian domains
(i) Let be an exact sequence of finitely generated torsion -modules. Then
(ii) If there exists a pseudo-isomorphism , then .
(iii) In order that , it is necessary and sufficient that be pseudo-zero.
In view of Definition 4, it suffices to consider for each the values of for the torsion modules considered. Property (i) then follows from Chapter II, § 2, no. 4, Theorem 1 and the additivity of lengths in an exact sequence (Algebra Chapter 11, § 1, no. 10, Proposition 16) and properties (ii) and (iii) follow immediately from the definitions in no. 4.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.