Restriction of a diagonalizable linear operator $T$ to any nontrivial $T$-invariant subspace is also diagonalizable using a given lemma.
Diagonalizable transformation restricted to an invariant subspace is diagonalizable