Proposition 3
Tag 04SS, permanent. Cite it as [Bourbaki, Tag 04SS].
Commutative Algebra, chapter VI, § 2. Places
Let be a field, a subring of and a homomorphism from to an algebraically closed field . Then there exists a place of with values in which extends .
Taking account of Proposition 1, this is a translation of Theorem 2 of § 1, no. 2.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.