Corollary 1
Tag 0AVI, permanent. Cite it as [Bourbaki, Tag 0AVI].
Lie Groups and Lie Algebras, chapter VI, § 1. Root systems
Let . Then if and only if is the sum of two positive roots.
If is the sum of two positive roots, Th. 3 shows that . If , Th. 3 shows that with for all and .
Permuting the if necessary, we can assume that is a root (Prop. 19), and hence that is the sum of the positive roots and .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.