1. La linéarité vient de celle de . Par la formule du binôme, est de degré si , de coefficient dominant , et . Donc si : envoie dans .
2. Un polynôme de degré au moins a une image non nulle, donc . Par la proposition 18, est engendrée par , de degrés : c'est (proposition 10). De même, .
3. Chaque application de fait baisser le degré d'au moins , et envoie les constantes sur : pour .
4. Soit , ensemble des polynômes sans terme constant. La restriction de à est injective, puisque , et surjective, puisque est de degré pour tout , de sorte que les forment une base de .
5. Soit tel que . Alors , et la somme télescopique donne
Pour , et l'on retrouve .