Пусть 

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

 и от 

. Кривая 

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

. Точка 

, то есть 

, где 

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

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

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

?