О порядках кручения точек кривых рода 1

Пусть $K$ – алгебраическое числовое поле степени $n$; $h(K)$ – число классов дивизоров поля $K$; $Y:v^2=u^4+au^2+b$ – якобиева кривая над $K$; $b(a^2-4b)=c^2\prod^N_{i=1}q_i$, где $C$ – целый дивизор, $q_1,\dots,q_N$ – различные простые дивизоры. Доказано, что найдется такая эффективно вычислимая постоянная $c=c(n,h(K),N)$, что порядок $m$ любой примитивной $K$-точки кручения на $Y$ ограничен ею: $m\leqslant c$. Библ. 3 назв.