Sigui una base d'un espai vectorial () i siguin uns vectors del subespai generat linealment independents entre ells. Llavors, es poden substituir () vectors pels , obtenint així una nova base.
Sigui una base d'un espai vectorial () i siguin uns vectors del subespai generat linealment independents entre ells. Llavors, es poden substituir () vectors pels , obtenint així una nova base.