Pour montrer que deux sous-espaces sont égaux, on peut montrer une inclusion et comparer les dimensions.

Pour déterminer la dimension de , remarquer que la réunion des parties génératrices de et de est une partie génératrice de ; pour la dimension de , il suffit d'appliquer la relation qui lie les dimensions des différents sous-espaces considérés.