DPRM_Theorem.DPRM