Definition 1
Tag 04VT, permanent. Cite it as [Bourbaki, Tag 04VT].
Commutative Algebra, chapter VI, § 7. Approximation theorem
Let and be two valuation rings of the same field . and are called independent if is the ring generated by and . Two valuations on are called independent if their rings are independent and dependent otherwise.
An improper valuation on is independent of every valuation on . For two valuations of height 1 on to be independent, it is necessary and sufficient that they be not equivalent (§ 4, no. 5, Proposition 6 (c)).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.