Pour , la matrice devient

La lecture de la matrice donne , , . Alors .

Comme est une famille libre, une base de est .

D'où la dimension de est .

D'après le théorème du rang, la dimension de est alors .

Comme (non nul) appartient à , une base de est donc .