1. L'application est linéaire, et : elle envoie dans lui-même.
2. L'application est linéaire. Les termes de degré se compensent : Donc est un endomorphisme de , de matrice L'échelonnement donne la ligne , puis donne : trois pivots, donc (théorème 8).