Proposition 8
Tag 0APC, permanent. Cite it as [Bourbaki, Tag 0APC].
Lie Groups and Lie Algebras, chapter V, § 1. Hyperplanes, chambers and facets
Every hyperplane belonging to is the wall of at least one chamber.
By Prop. 7, (iii), there exists a point of that does not belong to any hyperplane of ; by Prop. 6, there exists a chamber such that ; Prop. 4 then shows that is a wall of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.