Короче так. Вот арифметическая прогрессия

Значения многочлена в этих точках тупо делятся на

, потому что там разность и это самое. Если отойти подальше от начала (где несколько из них могут быть равны самому

, а оно, собака, может случиться простым), то вот она - прогрессия составных значений. Теперь набрать 2013 таких прогрессий со взаимно простыми разностями, и дело в шляпе. Можем мы это? А вдруг нет? А если нет (хотя, по-моему, так не бывает), тогда ещё лучше: тогда простых значений вообще конечный набор.