Proposition 12
Tag 0AUS, permanent. Cite it as [Bourbaki, Tag 0AUS].
Lie Groups and Lie Algebras, chapter VI, § 1. Root systems
Assume that R is irreducible and reduced.
(i) The ratio for must take one of the values 1, 2, , 3, .
(ii) The set of the for has at most two elements.
Since R is irreducible, the transforms of a root by generate V (no. 2, Cor. of Prop. 5). Hence, for any roots , there exists a root such that and . By formula (9) of no. 1 and the list of no. 3, takes one of the values 1, 2, , 3, (recall that the system is assumed to be reduced). By multiplying by a suitable scalar, we can assume that for certain roots and that the other possible values of for are 2 and 3. The values 2 and 3 cannot both be attained, since in that case there would exist such that , contrary to what we have seen above.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.