Les éléments de sont des endomorphismes diagonalisables, et si et appartiennent à alors .

On veut montrer qu'il existe dans une base dont tous les vecteurs sont des vecteurs propres pour chaque élément de .