Proposition 11
Tag 0AUR, permanent. Cite it as [Bourbaki, Tag 0AUR].
Lie Groups and Lie Algebras, chapter VI, § 1. Root systems
Assume that R is irreducible. Let and be two roots such that . There exists such that .
The transforms of by generate V (no. 2, Cor. of Prop. 5). Hence there exists such that . We assume from now on that . By formula (9) of no. 1, . Replacing if necessary by , we can assume that . Then, by the list at the beginning of no. 3, either (in which case the proposition is clear), or ; in that case
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.