Description: Polynomials are finitary objects and can only reference a finite number
of variables, even if the index set is infinite. Thus, every polynomial
can be expressed as a (uniquely minimal, although we do not prove that)
polynomial on a finite number of variables, which is then extended by
adding an arbitrary set of ignored variables. (Contributed by Stefan
O'Rear, 9-Oct-2014)