DPRM_Theorem.All_State_Equations