Если система векторов
e1, ..., ek линейно независима, то любая её подсистема {ei1,ei2, ..., eim} также линейно независима.
Если хотя бы одна подсистема {ei1,ei2, ..., eim} системы векторов e1,e2, ..., ek линейно зависима, то и сама система векторов e1,e2, ..., ek также линейно зависима.