@ArturoMagidin This was part of exercise 5.C #5 (a direction of the if and only if). My professor solved it through induction on the dimension of V. If my notes are right, it looks like he showed that for any vector space V' with dim(V') < dim(V) and T' in L(V) such that V' = null(T'-lambdaI) + (direct) range(T'-lambdaI) for all lambda in C, T' is diagonalizable. Then he showed that if T' is diagonalizable, then T is diagonalizable. Not sure how to use the math symbols in chat.