Формулировка 1
Пусть в линейном пространстве задана система система из векторов:
$$ f_1,.....,f_k . $$
Пусть, далее, каждый вектор
$$ g_1,.....,g_l $$
Есть линейная комбинация векторов $ f_1,.....,f_k . $. Тогда, если векторы $ g_1,.....,g_l $ линейно независимы, то $l \leq k$.