Простые числа перечисляются полиномом от 10 переменных

Указан многочлен с целыми коэффициентами от 10 переменных, множество всех неотрицательных значений которого (при положительных целых значениях переменных) есть в точности множество всех простых чисел. Библ. 11 назв.