8. Считать порождающую систему автоматически независимой. Набор может порождать пространство и при этом быть зависимым. Например, \(\vec v_1,\vec v_2,\vec v_1+\vec v_2\) порождают ту же оболочку, что \(\vec v_1,\vec v_2\), но третий вектор выражается через первые два и является лишним.