DPRM_Theorem.State_Unique_Equations