Proposition 4
Tag 0ANR, permanent. Cite it as [Bourbaki, Tag 0ANR].
Lie Groups and Lie Algebras, chapter IV, § 2. Tits Systems
Let be a subgroup of .
a) is parabolic if and only if there exists a subset of such that is conjugate to (cf. no. 5 for the definition of ).
b) Let and be such that . Then, and .
Assertion a) follows from Th. 3, b). Under the hypotheses of b), we have
and Prop. 3 shows that . Hence, and by Th. 3, b). Finally,
which proves b).
If the parabolic subgroup is conjugate to , where , then is said to be of type X.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.