Оценка неполной линейной формы от некоторых алгебраических чисел

Пусть $\mu>m-1$, $\nu$ — рациональное, $\omega_k=b_k^\nu$, где $b_k\ne0$ — различные числа мнимого квадратичного поля $K$, удовлетворяющие некоторым дополнительным условиям. Тогда
\begin{gather*} |x_1\omega_1+\dots+x_m\omega_m|>X^{-\mu},\\ X=\max_{1\leqslant k\leqslant m}|x_k|\geqslant X_0>0,\\ \end{gather*}
где $x_1,\dots,x_m$ — целые числа поля $K$, а $X_0$ — эффективная постоянная. Библ. 7 назв.