Proposition 2
Tag 0ATQ, permanent. Cite it as [Bourbaki, Tag 0ATQ].
Lie Groups and Lie Algebras, chapter V, § 6. The Coxeter transformation
If W is irreducible and h is even, the unique element of W that transforms C to −C is .
We use the notation in the proof of Th. 1. Since is a rotation through an angle , transforms to , to , and hence to . Now , so the chamber is necessarily .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.