Lemma 3
Tag 0AVM, permanent. Cite it as [Bourbaki, Tag 0AVM].
Lie Groups and Lie Algebras, chapter VI, § 1. Root systems
Let be a chamber of and a closed subset of containing (in the notation of no. 6). Let , and let be the set of roots that are linear combinations of elements of with non-positive integer coefficient. Then, .
It is enough to show that . Let . Then is the sum of elements of . We show, by induction on , that . This is clear if . If , then by Prop. 19 of no. 6 we can write with and the sum of elements of . By the induction hypothesis, ; since and since is closed, . Thus, . Conversely, let . Then is the sum of elements of . We show, by induction on , that . This is clear if . If , then by Prop. 19, we can write with and a root that is the sum of elements of . Since and since is closed, , hence . Moreover, so since is closed. By the induction hypothesis, , so . Thus, .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.