Pour montrer qu'un ensemble non vide est un sous-espace vectoriel de , il suffit de vérifier qu'il est stable par combinaison linéaire, c'est-à-dire que si deux éléments appartiennent à l'ensemble, toutes leurs combinaisons linéaires restent dans le même ensemble. Soient et deux solutions de , et deux réels quelconques. Nous devons vérifier que est solution de . Considérons la -ième équation, vérifiée à la fois par et .
Réciproquement, on vérifie de la même façon que tout -uplet somme de et d'une solution de est solution de .