Пусть

Если
то утверждение верно, так как тогда
являются линейными комбинациями
строк
Пусть один из этих коэффициентов отличен от нуля. Без нарушения общности можно считать, что
Рассмотрим строки:

Вновь построенные
строк являются линейными комбинациями
строк
. Так как
, то
. В силу индуктивного предположения строки
образуют линейно зависимую совокупность. Это значит, что существуют не равные одновременно нулю коэффициенты
такие, что

В последнее соотношение подставляем выражение строк
через строки
. Получим

откуда

Теорема доказана.
Следствие. Любая совокупность строк длины
, содержащая более чем
строк, линейно зависима.
Действительно, любая строка
длины
может быть представлена так:

т. е. является линейной комбинацией некоторых
вполне опреде ленных строк. В силу только что доказанной теоремы, если числс строк больше
, то их совокупность линейно зависима.