The hypothesis claims that for every finite collection { f 1 , f 2 , … , f k } {\displaystyle \{f_{1},f_{2},\ldots ,f_{k}\}} of nonconstant irreducible polynomials over the integers with positive leading coefficients, one of the following conditions holds: