Corollary 1
Tag 04WY, permanent. Cite it as [Bourbaki, Tag 04WY].
Commutative Algebra, chapter VI, § 8. Extensions of a valuation to an algebraic extension
Let K be a field, v a valuation on K, L a quasi-Galois extension of K and and two extensions of v to L. Then there exists a K-automorphism s of L such that is equivalent to .
Let and be the places of K associated with and ; replacing them if need be by equivalent places, it may be assumed that they both take their values in the algebraic closure of the residue field of v (no. 1, Proposition 1). Then there exists a K-automorphism s of L such that (Proposition 7); thus is equivalent to by virtue of the correspondence between places and valuations (§ 3, no. 3).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.