Conjecture that gives a criterion for a univariate integer-coefficient polynomial to give infinitely many prime values