DPRM_Theorem.Constants_Equations