Lemma 3
Tag 0A6U, permanent. Cite it as [Bourbaki, Tag 0A6U].
Lie Groups and Lie Algebras, chapter II, § 8. Convergence of the Hausdorff series (ultrametric case)
Let B be a Hall set relative to I and let be the decomposition of with respect to the corresponding basis of . Then
This is trivial for , for ; and it follows from Proposition 1 of no. 1 for .
Moreover,
We show more generally by induction on that, for every alternant of degree in the two indeterminates U and V (§ 2, no. 6), . If , is one of the projections of onto and hence is of norm ; if , there exist two alternants and of degrees such that . As the mapping of into is bilinear of norm , we have (Differentiable and Analytic Manifolds, R, Appendix, no. 4)
Relations (11) and (12) imply the lemma.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.