Proposition 8
Tag 075Y, permanent. Cite it as [Bourbaki, Tag 075Y].
Algebra, chapter VII, § 5. Endomorphisms of vector spaces
Let be a finite dimensional vector space over a commutative field , and let be an endomorphism of . Then the following conditions are equivalent:
(i) the eigenvalues of (in some algebraically closed extension of ) belong to ;
(ii) there exists a basis of with respect to which the matrix of is lower (resp. upper) triangular;
(iii) there exists a basis of with respect to which the matrix of is a diagonal block of Jordan matrices.
We have (i) (iii) by Prop. 7 and the above remarks, and the assertions (iii) (ii) and (ii) (i) are trivial.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.