Trigonalizable/Flag via generalized eigenspaces/Exercise

Let

be a trigonalizable endomorphism, and let

denote the direct sum decomposition into generalized eigenspaces in the sense of fact. Show that there exists a -invariant flag such that, in this flag, the linear subspaces

for occur.