О представлении чисел квадратичными формами в полях алгебраических чисел

Пусть $k$ – вполне вещественное поле алгебраических чисел степени $n=[k:\mathbb Q]$ и дискриминанта $\mathcal D=\mathcal D(k)$; $f=f(x_1,\dots,x_s)$ – вполне положительная квадратичная форма определителя $d\succ0$ над кольцом $\scriptstyle\mathscr O$ целых чисел поля $k$; $s\geqslant 4$. Пусть $r(f, m)$ – число представлений над $\scriptstyle\mathscr O$ числа $m\in{\scriptstyle\mathscr O}$ формой $f$; $\rho(f,m)$ – полный особый ряд. Доказано, что при фиксированных $s$ и $n$ существует такая постоянная $c$, что при $N(d)>0$ не верно, что $r(f,m)=\rho(f,m)$ для всех $m\in{\scriptstyle\mathscr O}$, $m$ вполне положительно.