Теорема (теорема Штейница). Если каждый из векторов является линейной комбинацией векторов и m>n, то система векторов линейно зависима.
Следствие. В любой системе n-мерных векторов не может быть больше чем n линейно независимых.