Если найден минор \(M_k \neq 0\), то вычисляются только миноры порядка \((k+1)\), содержащие в себе \(M_k\). Если все они равны нулю, то \(\operatorname{rang}(A) = k\).

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

без доказательства