Corollary 2
Tag 04VD, permanent. Cite it as [Bourbaki, Tag 04VD].
Commutative Algebra, chapter VI, § 6. Absolute values
For a mapping of to to belong to , it is necessary and sufficient that it be of the form , where and is an absolute value on .
To say that satisfies is equivalent to saying that satisfies ; as there exists such that , Corollary 1 shows that for such a value of , is an absolute value.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.