Нужно доказать, что многочлен

неприводим над полем рациональных чисел. Несложно доказать, что над

нет линейных множителей. Если, например,

- простое число, то можно сделать редукцию по

, в поле вычетов разложить

на множители и доказать неприводимость. Как доказать для произвольного

непонятно.