Pour le , on comparera les images des vecteurs de la base respectivement par l'endomorphisme nul et par .

Pour le , voir la méthodologie.

Pour le , il s'agit de démontrer que . On aura intérêt à commencer par démontrer que la somme des sous-espaces considérés est directe pour ensuite pouvoir utiliser des arguments de dimension.