
Пусть
- минимальное поле разложения многочлена

над полем

.
Докажите, что если

, то
![$\mathrm{[P':P]\le {m!}}$ $\mathrm{[P':P]\le {m!}}$](https://dxdy.ru/math/99f50206125f6eb1644a4b8bf056697a82.png)
.
с этой частью задачи я разобрался с помощью теоремы о башне полей, но есть ещё 2 пункт
Докажите, что если
![$\mathrm{[P':P]=m!}$ $\mathrm{[P':P]=m!}$](https://dxdy.ru/math/58e1ffe940859f12254d150e0fb86d9f82.png)
, то многочлен

неприводим над

.
На что мне ссылаться при доказательстве? Хотелось бы внести ясность в этом вопросе.