DPRM_Theorem.Register_Equations