Выдержка из книги
Чистяков В.Ф.
Избранные главы Теории алгебро-дифференциальных систем
Если det Ап Ф 0 на Т, то лемма справедлива. Размерность пространства решений системы АНУ Ь Bfiy 0 конечна. Следовательно, конечна размерность пространства исходной системы.
