Remarquer que, l'application étant non nulle, il existe un vecteur de , dont l'image par est un scalaire non nul.