Доказательство обобщения гипотезы Бороша–Трейбига о диофантовых уравнениях

Рассматривается система линейных диофантовых уравнений $Ax=a$ над неоднородной решеткой $L$, имеющая неотрицательное решение. Доказано, что имеется решение, у которого компоненты неотрицательны и не превышают $d\det L$, где $d$ – максимальный по модулю минор матрицы $(A\ a)$, порядок которого равен $\operatorname{rang}A$. Библиогр. 6.