Considérer les restrictions des éléments de à chaque sous-espace propre de .

L'endomorphisme est diagonalisable. Donc est somme directe de ses sous-espaces propres.