Векторный ранг коммутирующих матричных дифференциальных операторов. Доказательство критерия С.П. Новиковастатья