Proposition 4
Tag 04ST, permanent. Cite it as [Bourbaki, Tag 04ST].
Commutative Algebra, chapter VI, § 2. Places
Let be a field, a place of with values in a field and an extension of . Then there exists an extension of and a place of with values in which extends . If are elements of which are algebraically independent over and any elements , may be chosen such that for
Let be the ring off, the restriction off to and the extension of to such that for It is sufficient to take to be an algebraic closure of and apply Proposition 3 to and : we obtain a placef': which extends ; if then whence and hencef' extendsf.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.