DPRM_Theorem.All_Equations