Proposition 6
Tag 00Z5, permanent. Cite it as [Bourbaki, Tag 00Z5].
Lie Groups and Lie Algebras, chapter VIII, § 2. Root system of a split semi-simple Lie algebra
Let be a split semi-simple Lie algebra, a non-degenerate invariant symmetric bilinear form on . For all , let be a non-zero element of . Let be a basis of , and the basis of such that . The Casimir element associated to in the enveloping algebra of (Chap. I, §3, no. 7) is then
Indeed, by Prop. for all , and for all .
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.