Corollary 2
Tag 04Z2, permanent. Cite it as [Bourbaki, Tag 04Z2].
Commutative Algebra, chapter VII, § 1. Krull domains
Let be a Krull domain, its field of fractions and a family of valuations with the properties of Definition 3. Then every essential valuation of is equivalent to one of the .
Let be an extremal divisor of and the corresponding divisorial ideal. By Corollary 1, Proposition 5, Lemma 1 and assertion (1) in the proof of Theorem 2, no. 3, there exists such that the ring of contains the ring , of . As and are of height 1, they are therefore equivalent (Chapter VI, § 4, no. 5, Proposition 6).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.