Corollary
Tag 04ZG, permanent. Cite it as [Bourbaki, Tag 04ZG].
Commutative Algebra, chapter VII, § 1. Krull domains
Let (resp. ) be a prime ideal of (resp. ) of height 1 and (resp. ) the essential valuation of (resp. ) corresponding to it. For to lie above , it is necessary and sufficient that the restriction of to be equivalent to .
The valuation is equivalent to the extension of an essential valuation of (Proposition 12). Let , which is a prime ideal of of height 1. For the restriction of to to be equivalent to , it is necessary and sufficient that and hence that .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.