Corollary 1

Tag 04WF, permanent. Cite it as [Bourbaki, Tag 04WF].

If K is complete with respect to v and v is not improper, two valuations on L extending v are dependent.

This follows since $\hat{K} \otimes_K L = L$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.