Corollary 1

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

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

Let $A$ be a significant word. For each integer $k$ such that $0\leq k<l(A)$ there is exactly one significant segment of $A$ which begins at the $(k+1)$ th place.

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

Nothing.

Cites

Nothing.