Proposition 7
Tag 04WX, permanent. Cite it as [Bourbaki, Tag 04WX].
Commutative Algebra, chapter VI, § 8. Extensions of a valuation to an algebraic extension
Let K be a field, L a quasi-Galois extension of K and f and places of L with values in the same field F. Suppose that the restrictions off and to K coincide. Then there exists a K-automorphism s of L such that .
Let A be the ring of the place of K the common restriction off and . The rings off and contain the integral closure of A in L (§ 1, no. 3, Corollary 3 to Theorem 3) and hence (Chapter V, § 2, no. 3, Corollary 1 to Proposition 6) there exists a K-automorphism s of L such that the restrictions off and to are equal; if is the common kernel of these restrictions, is the maximal ideal of A, hence is a maximal ideal of and the places and coincide on the ring ; but by Proposition 6 the only valuation ring of L dominating is the ring itself and hence the rings of the places and are the same.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.