DPRM_Theorem.Parametric_Polynomials