Теорема изоляции для разложимых форм чисто вещественных алгебраических полей степени $n\ge3$

Пусть $M$ – полный модуль чисто вещественного алгебраического поля степени $n\ge3$, $\Lambda$ – решетка этого модуля, а $F(X)$ – его форма. Через $\Lambda_\varepsilon$ обозначим любую решетку, для которой выполнено: $\Lambda_\varepsilon=\tau\Lambda$, где $\tau$ – недиагональная матрица с условием $\|\tau-I\|\le\varepsilon$, $I$ – единичная матрица. Полный набор таких решеток обозначим через $\{\Lambda_\varepsilon\}$. Каждой решетке $\Lambda_\varepsilon$ естественным образом сопоставляем разложимую форму $F_\varepsilon(X)$. Полный набор форм, отвечающих множеству $\{\Lambda_\varepsilon\}$, обозначим через $\{F_\varepsilon\}$. Доказано, что по наперед сказанному сколь угодно малому интервалу $(N-\eta,N+\eta)$ можно подобрать такое $\varepsilon$, что для каждой $F_\varepsilon(X)$ из $\{F_\varepsilon\}$ найдется целый вектор $X_0$ такой, что $N-\eta<F_\varepsilon(X_0)<N+\eta$. Библ. – 3 назв.