Example
Tag 053Y, permanent. Cite it as [Bourbaki, Tag 053Y].
Commutative Algebra, chapter VII, § 4. Modules over integrally closed Noetherian domains
If , the divisor group of is identified with the multiplicative group of rational numbers > 0. For every finite commutative group T, is the order of T; the above corollary shows that the order of the group is equal to the absolute value of (cf. Algebra, Chapter VII, § 4, no. 7, Corollary 3 to Theorem 3).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.