Доказательство.

базисный минор имеет порядок хотя бы одна строка не базисная (по т.2) она линейная комбинация базисных строк все остальные строки можно включить с нулями одна строка линейная комбинация остальных.

Свойства определителей.