теорема

{\bf Теорема.} {\it Пусть $n$-нечетное простое число, $f(x)$ -- полином с целыми коэффициентами, неприводимый над полем рациональных чисел, имеющий группу диэдра порядка $2n$ в качестве группы Галуа над $Q$ и дискриминант $d$. Тогда для всех простых $p$, не делящих $d$ и представимых какой-нибудь данной бинарной квадратичной формой с целыми коэффициентами дискриминанта $d$, сравнение $f(x) \equiv 0 ~ (\mathop{mod} p)$ имеет фиксированный тип расщепления в произведение неприводимых полиномов по модулю $p$.}