DPRM_Theorem.State_0_Equation