Comme est un espace vectoriel de type fini et un sous-espace vectoriel non isotrope pour , on a l'égalité :

.

On cherche un endomorphisme de vérifiant les conditions :

Soit une base de et une base de .

Remarque : tout vecteur s'écrit comme la somme d'un vecteur et d'un vecteur : . Donc .