Soit un vecteur quelconque de , appartient à si et seulement si

et , ce qui équivaut à et .

Alors avec réel quelconque donc

Notons le vecteur de , nous venons de démontrer que est élément de si et seulement si est combinaison linéaire du vecteur .

La partie est une partie génératrice de .