Par construction de si est élément de

donc

on en déduit

puis

or , on a ainsi démontré

d'où .

De cette égalité entre endomorphismes on déduit l'égalité des matrices associées .