Пусть линейный оператор

, действует в векторном пространстве

над бесконечным полем

.
Обозначим через

минимальный многочлен оператора

, и через

минимальный аннулирующий многочлен оператора

относительно вектора

(т.е. минимальный многочлен от

, который аннулирует вектор

). Доказать что существует

такой что

.
Я решил задачу, но в моем решении нигде не используется то, что поле

бесконечно. Но в официальном решении, приведенном во втором томе Кострикина, задача 2.2.9, используется этот факт. Никакие контрпримеры не приходят в голову.
Вопрос. Действительно ли тут необходимо условие бесконечности поля

?