Corollary 2
Tag 00O4, permanent. Cite it as [Bourbaki, Tag 00O4].
Algebra, VIII, p. 420, § 21. Linear Representations of Finite Groups
The dimension of each simple representation of divides the order of .
This follows from Proposition 10 and Proposition 9 of VIII, p. 415.
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.