D'après la convention, . En tant que sous-espace d'un espace vectoriel, il suffit de montrer donc de montrer que est stable par combinaison linéaire. Ceci est une conséquance immédiate des deux questions précédentes.