Le cas . Montrons par récurrence sur que . C'est vrai pour et . Si c'est vrai au rang et si , alors , et , donc ; ainsi .
Le cas général. Les endomorphismes et commutent, et d'après l'étape précédente. On applique cette étape au couple , dans lequel joue le rôle de :