Теорема (теорема Штейница). Если каждый из векторов  является линейной комбинацией векторов  и m>n, то система векторов  линейно зависима.

Следствие. В любой системе n-мерных векторов не может быть больше чем n линейно независимых.