Простые числа перечисляются полиномом от 10 переменных Ю.В. Матиясевич (1977) Zapiski naucnych seminarov Leningradskogo