Théorème sur les bases
Soit H un sous-espace de Rn de dimension p. Tout ensemble linéairement indépendant contenant exactement p éléments dans H est automatiquement une base pour H. Également, tout ensemble de p éléments de H qui engendre H est automatiquement une base pour H.