Corollary 2
Tag 075T, permanent. Cite it as [Bourbaki, Tag 075T].
Algebra, chapter VII, § 5. Endomorphisms of vector spaces
— In the notation of Cor. 1, let be the minimal polynomial of ; then divides and divides . In particular the minimal polynomial and the characteristic polynomial of have the same roots, and these are the eigenvalues of .
Since , it is clear that divides . On the other hand, since each divides , their product divides .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.