Об основной лемме метода доказательства алгебраической независимости значений $E$-функций

Дано новое доказательство основной леммы метода доказательства алгебраической независимости значений в алгебраических точках $E$-функций, удовлетворяющих линейным дифференциальным уравнениям. Эта лемма является важнейшей при исследовании арифметических свойств значений $E$-функций, связанных алгебраическими уравнениями над полем рациональных функций. Предлагаемое доказательство существенно проще, чем известные доказательства этой леммы.
Библиогр. 6.