Proposition 3
Tag 0ANP, permanent. Cite it as [Bourbaki, Tag 0ANP].
Lie Groups and Lie Algebras, chapter IV, § 2. Tits Systems
Let and . The relation implies that .
Let be such that . Since is a subgroup of , the hypothesis implies that , and hence that by Cor. 3 of Th. 2, so belongs to .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.