Corollary
Tag 04YB, permanent. Cite it as [Bourbaki, Tag 04YB].
Commutative Algebra, chapter VI, § 10. Extensions of a valuation to a transcendental extension
For every totally ordered commutative group G, . We set in Proposition 3.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.