Corollary 2

Tag 03GV, permanent. Cite it as [Bourbaki, Tag 03GV].

Theory of Sets, chapter I, Appendix 0. Characterization of terms and relations

Every significant word may be written in exactly one way in the form $fA_1A_2\ldots A_p$ , where the $A_i$ are significant and $n(f)=p.$ *

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Appendix 0. Characterization of terms and relations
Exercise 1, § 2

Cites

Nothing.