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