Quelqu'un chaud en vecteur svp ?

y'a pas un théorème qui permet de dire qu'une famille est une base sans avoir à démontrer qu'elle est génératrice ?

Désolé si je dis de la merde, j'ai loupé des cours.