DPRM_Theorem.State_d_Equation