Theorème base incomplète et matrices

[saykbl]

Quelqu'un pourrait m'éclaircir ce passage

Soit M dans Mn(C)
Si une colonne Cj de M est non nulle avec j dans [1,n ]
Selon Théorème de la base incomplète , il existe des colonnes A_1,...,A_{j-1},A_{j+1},.......,A_{n} dans Mn1(C) telque (A_1,...,A_{j-1},C_{j},A_{j+1},.......,A_{n} ) soit une base de Mn(C).

[Ben314]

Salut,
Selon toi, il dit quoi le "théorème de la base incomplète" ?