Theorem 2 (Wedderburn)
Tag 00SB, permanent. Cite it as [Bourbaki, Tag 00SB].
Algebra, VIII, p. 357, § 18. Simple Algebras over a Finite Field
Every finite field is commutative.
Let D be a finite field, and let K be its center. The K-algebra D is central simple of degree , where is a strictly positive integer. The reduced norm is a homogeneous polynomial mapping Nrd of degree (VIII, p. 345, Proposition 6), and we have Nrd() for every in D (VIII, p. 340, Proposition 3). The corollary above implies that , and therefore . So we have D = K.
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.