Remark 3
Tag 01G5, permanent. Cite it as [Bourbaki, Tag 01G5].
Lie Groups and Lie Algebras, chapter IX, § 7. Irreducible representations of connected compact Lie groups
Let be an irreducible representation. There exists an element of X(C(G)) such that for all indeed, is contained in the commutant of (G), which is equal to Algebra, Chap. VIII, §3, no. 2, Th. 1). For every weight of , the restriction of to C(G) is equal to .
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.