Corollary
Tag 0AUO, permanent. Cite it as [Bourbaki, Tag 0AUO].
Lie Groups and Lie Algebras, chapter VI, § 1. Root systems
Let S be an -chain of roots, and the origin of S. The length of S is ; it is equal to 0, 1, 2 or 3.
The first assertion follows from Prop. 9, (iii), applied to , and using the fact that .
On the other hand, since is not proportional to , the list given at the beginning of this no. shows that , hence the corollary.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.