On a generalization of the van der Waerden Theorem

For a given length and a given degree and an arbitrary partition of the positive integers, there is always a cell containing a polynomial progression of that length and that degree; moreover, the coefficients of the generating polynomial can be chosen from a given subsemigroup and one can prescribe the occurring powers. A multidimensional version is included.