Если

приводим, то приводим многочлен

, а значит приводим и

над

, но

- квадратичный невычет по модулю

, значит многочлен

не имеет корней в

. Кроме того, он не раскладывается и на множители 2-го порядка:

, откуда

- квадратичный вычет, но последнее неверно тоже.
Правильно?