Définir, à partir des hypothèses données dans , des endomorphismes et vérifiant les hypothèses du et , et remarquer que pour tout scalaire non nul et toute application linéaire , on a .