1. Comme toujours, pour démontrer une inclusion du type , on prend un élément quelconque de et on démontre qu'il est dans .

  2. Comme l'on a un endomorphisme sur un espace de type fini et que l'on veut une propriété de la dimension de son image, il est naturel de penser au théorème du rang.

  3. On détermine les valeurs que peut prendre et lorsque cela est possible on choisit une base de l'image de et on l'étudie.