DPRM_Theorem.Equation_Setup