Corollary 5
Tag 0AVS, permanent. Cite it as [Bourbaki, Tag 0AVS].
Lie Groups and Lie Algebras, chapter VI, § 1. Root systems
Let B be a basis of R, pairwise orthogonal subsets of B, and . Then every root that is a linear combination of elements of A is actually a linear combination of elements of one of the . In particular, if R is irreducible, there is no partition of B into pairwise orthogonal subsets.
Let be the vector subspaces of V generated by , respectively. By Cor. 4, we can assume that . Then, by Th. 2 (vii) of no. 5, the are stable under , so R is the union of the (no. 2, Prop. 5).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.