Пусть

- неприводимый многочлен с алгебраическими коэффициентами, зависящий от

и от

. Кривая

- это множество точек таких, что

. Точка

, то есть

, где

- трансцендентное. Верно ли, что для любого

- многочлена с алгебраическими коэффициентами такого, что

, выполняется

?