Le plus simple pour répondre à cette question est d'utiliser la définition de chacun des sous-espaces et . Soit donc un élément de .

Alors avec et réels tels que et .

Relations équivalentes aux relations et .

Donc appartient à si et seulement si . Le vecteur non nul engendre .

Il définit donc une base de qui est donc de dimension égale à .